RiuNet repositorio UPV
:
Listar por autor

Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por autor "Pérez Durán, Francisco"

Mostrando ítems 1-2 de 2

Diseño de experiencias aplicado a bibliotecas universitarias. Mejora de la biblioteca de la etsid como caso de estudio en la UPV

Pérez Durán, Francisco (Universitat Politècnica de València, 2019-10-14)

[ES] El diseño de experiencias se ha consolidado como disciplina capaz de analizar sensaciones, percepciones y emociones derivadas de la interacción de los usuarios con productos, servicios y entornos. En este sentido, el ...
Programming and symbolic computation in Maude

Durán, Francisco; Eker, Steven; Escobar Román, Santiago; NARCISO MARTÍ OLIET; José Meseguer; Rubén Rubio; Talcott, Carolyn (Elsevier, 2020-01)

[EN] Rewriting logic is both a flexible semantic framework within which widely different concurrent systems can be naturally specified and a logical framework in which widely different logics can be specified. Maude programs ...

Mostrando ítems 1-2 de 2