Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Oliver Villarroya, Francisco Javier"'
Publikováno v:
Riunet.
El lambda-cálculo es una teoría sin tipos que interpreta las funciones como reglas, es decir, el proceso de ir de un argumento a un valor, un proceso codificado por una definición. La idea de utilizar el lambda-cálculo como un marco matemático p
Externí odkaz:
http://hdl.handle.net/10251/58867
Publikováno v:
Riunet
RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname
RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname
El lambda-cálculo es una teoría sin tipos que interpreta las funciones como reglas, es decir, el proceso de ir de un argumento a un valor, un proceso codificado por una definición. La idea de utilizar el lambda-cálculo como un marco matemático p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::603a99f3f87a999027cd2c93f79f5f11
http://hdl.handle.net/10251/58867
http://hdl.handle.net/10251/58867
Publikováno v:
RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname
instname
Tras la buena acogida de las I Jornadas de Innovación Docente JIDTEL 13 que tuvieron lugar en la ETSIT en marzo de 2013, nos encontramos con su segunda edición, prevista para los días 7 y 8 de julio de 2014. En esta edición vamos a rendir homenaj
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f2430742ede7a2a91f6d89dc30ec18ef
http://hdl.handle.net/10251/45004
http://hdl.handle.net/10251/45004
Autor:
Tamarit Muñoz, Salvador, Silva Galiana, Josep Francesc, Llorens Agost, María Luisa, Oliver Villarroya, Francisco Javier
Publikováno v:
RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname
instname
The CSP language allows the specification and verification of complex concurrent systems. Many analyses for CSP exist that have been successfully applied in different industrial projects. However, the cost of the analyses performed is usually very hi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e94eb2c2571b31547d3f48a3c590da55
https://hdl.handle.net/10251/8397
https://hdl.handle.net/10251/8397
Se presenta el concepto de tipo de datos en la programación estructurada
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1560::25e007f27ed1bc639aa53bd0b718c312
https://hdl.handle.net/10251/866
https://hdl.handle.net/10251/866
Se presentan las instrucciones condicionales y los bucles en C
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1560::5dc0e6c742c1231c6adeea0d5bf5f0dd
https://hdl.handle.net/10251/864
https://hdl.handle.net/10251/864
Se presenta el concepto de variable en la programación estructurada
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1560::54e1f13fc122779d22f80a848ef74a0e
https://hdl.handle.net/10251/865
https://hdl.handle.net/10251/865
Se presentan elementos básicos en la programación estructurada: expresiones, asignación, constantes, entrada de datos, salida de datos
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1560::0ff7d3dc0f87c0eca462a2d42f553b17
https://hdl.handle.net/10251/863
https://hdl.handle.net/10251/863
Autor:
Carlos Herrero Cuco
Publikováno v:
RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname
instname
[EN] The main objective of Doctoral Thesis "Modelling Concurrency in Distributed Multi-Agent Systems: Cooperating Automata" is the definition and extension of a model conceived to describe multi-agent systems that combines desirable features of the "
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2937b6e1df879c58cd6f4c8d6a104133
http://hdl.handle.net/10251/59442
http://hdl.handle.net/10251/59442