Rule-based software verification and correction
Tesis doctoral de Demis Ballis La creciente complejidad de los sistemas software ha conducido al desarrollo de metodologías formales para […]
Accede a todas las tesis doctorales sobre Matemáticas mas relevantes.
Tesis doctoral de Demis Ballis La creciente complejidad de los sistemas software ha conducido al desarrollo de metodologías formales para […]
Tesis doctoral de Aitor Santamaria Merino En esta tesis se profundiza en la descripción de las teorías clásicas de campos
Tesis doctoral de Oscar Alberto Calvo Ibañez El hilo conductor de este trabajo es el fenómeno de sincronización de sistemas
Tesis doctoral de José Eugenio Naranjo Hernández La necesidad de dar solución a los problemas actuales del transporte ha propiciado
Tesis doctoral de Lillo Saavedra Mario Fernando Existe una amplia gama de aplicaciones en el campo de la teledetección, en
Tesis doctoral de Pascual Lería Ana Isabel La cuestión de la estabilidad de sistemas hamiltonianos es una pieza fundamental en
Tesis doctoral de Miquel De Cáceres Ainsa En esta tesis se estudia la metodología numérica de clasificación de comunidades de
Tesis doctoral de Mario Rossainz Lopez Bajo un ambiente de objetos paralelos, un enfoque de programación paradigma de la orientación
Tesis doctoral de Cristina Lozano Colomer Se plantea un modelo de creabilidad basado en la estimación bayesiana con un nuevo
Tesis doctoral de Julia García Galisteo En este trabajo se presenta un estudio, desde el punto de vista bayesiano, de