Prototipado de especificaciones de sistemas distribuidos basadas en restricciones. aplicación al lenguaje tesoro.
Tesis doctoral de Rafael Corchuelo Gil Esta tesis plantea la posibilidad de fomentar el uso de los métodos formales en […]
Accede a todas las tesis doctorales sobre Ciencia de los ordenadores mas relevantes.
Tesis doctoral de Rafael Corchuelo Gil Esta tesis plantea la posibilidad de fomentar el uso de los métodos formales en […]
Tesis doctoral de Francisco Jose García Izquierdo La tesis debe situarse en el entorno de un proyecto más amplio, cuyo
Tesis doctoral de Ernest Valveny Llobet La existencia de gran cantidad de documentos sobre papel junto conla utilización cada vez
Tesis doctoral de Anaya De Páez Raquel Con el objetivo de integrar la reutilización en el proceso de desarrollo, las
Tesis doctoral de Abdelouahid Lyhyaqui Se proponen un conjunto de métodos para seleccionar centros críticos y muestras críticas, basadas en
Tesis doctoral de Jose Hernandez Orallo Esta tesis se centra en el estudio formal de la utilidad y resultados de
Tesis doctoral de Benjamin Ramos Alvarez Se presenta un modelo de mecanismo para garantizar un servicio de autenticación en redes,
Tesis doctoral de Goiuria Sagardui Mendieta Esta tesis se enmarca en el área de selección de los dominios para introducir
Tesis doctoral de Pere Guitart Colom El problema de steiner en grafos (psg) e sun problema de optimización combinatoria clásico
Tesis doctoral de Andreu Riera Jorba Esta tesis proporciona soluciones prácticas a los principales problemas abiertos en el campo de