
ISMAEL
RODRÍGUEZ LAGUNA
Profesor titular de universidad
Dissertation
Dissertationen geleitet (1)
-
Algoritmos heurísticos y aplicaciones a métodos formales 2010
Universidad Complutense de Madrid
Gerichte für Dissertationen (4)
-
Präsident des Gerichts
Respuesta a las restricciones transpositivas de la sociedad de la información en la enseñanza-aprendizaje de la geometría en educación secundaria 2019Universidad Complutense de Madrid
Roa González, Julián
-
Präsident des Gerichts
Verificación de extensiones de Redes de Petri con precios, tiempo y múltiples instancias 2016Universidad Complutense de Madrid
MARTOS SALGADO, MARÍA ROSA
-
Vokal des Gerichts
Contractual verification of web service compositions with time constraints 2011Universidad de Castilla-La Mancha
MARTINEZ LOPEZ, ENRIQUE
-
Sekretär des Gerichts
Marcos temporales y probabilísticos para testing formal 2009Universidad Complutense de Madrid