Saila
Sistemas Informáticos y Computación
Biltzar ekarpenak (51) Ikertzaileren baten partaidetza izan duten argitalpenak
2005
-
A categorical approach to simulations
Lecture Notes in Computer Science
-
A declarative debugger of incorrect answers for constraint functional-logic programs - System demonstration
WCFLP'05 - Proceedings of the ACM SIGPLAN 2005 Workshop on Curry an Functional Logic Programming
-
A formal methodology to test complex embedded systems: Application to interactive driving system
From Specification to Embedded Systems Application
-
A generic framework for the analysis and specialization of logic programs
Proceedings of the 15th Workshop on Logic-based methods in Programming Environments, WLPE 2005
-
A generic framework for the analysis and specialization of logic programs
Lecture Notes in Computer Science
-
A genetic algorithm for solving the p-median problem
2005 European Simulation and Modelling Conference, ESM 2005 - Proceedings
-
A software performance engineering tool based on the UML-SPT
QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems
-
A state space distribution policy based on abstract interpretation
Electronic Notes in Theoretical Computer Science
-
A tutorial on specifying data structures in Maude
Electronic Notes in Theoretical Computer Science
-
Abstraction carrying code and resource-awareness
PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
-
Abstraction-carrying code
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
An Abstract Interpretation-based Approach to Mobile Code Safety
Electronic Notes in Theoretical Computer Science
-
Attribute grammar evolution
Lecture Notes in Computer Science
-
Base de datos hidrogeológicos AGUAS XXI y la aplicación GESDAGUAS del Instituto Geológico y Minero de España.: Análisis delos datos de Andalucía
VI Simposio del Agua en Andalucía: 1 a 3 de junio, 2005 Sevilla
-
Bisimulations up-to for the linear time branching time spectrum
Lecture Notes in Computer Science
-
Christiansen Grammar For SOme P Systems
Third Brainstorming Week on Membrane Computing
-
Conocimiento lingüístico para la web semántica: los nombres de persona en el dominio del cine
Perspectivas interdisciplinares de la lingüística aplicada
-
Constraint functional logic programming revisited
Electronic Notes in Theoretical Computer Science
-
Creación de un curso sobre metodología y tecnología de la información para su uso en un campus virtual
Cómo integrar investigación y docencia en el CV-UCM
-
Dealing denotationally with stream-based communication
Electronic Notes in Theoretical Computer Science