![Foto de ISMAEL](/img/nophoto.png)
ISMAEL
RODRÍGUEZ LAGUNA
Profesor titular de universidad
Doktorego-tesia
Zuzendutako tesiak (1)
-
Algoritmos heurísticos y aplicaciones a métodos formales 2010
Universidad Complutense de Madrid
Tesi epaimahaiak (4)
-
Epaimahaiko Presidente
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
-
Epaimahaiko Presidente
Verificación de extensiones de Redes de Petri con precios, tiempo y múltiples instancias 2016Universidad Complutense de Madrid
MARTOS SALGADO, MARÍA ROSA
-
Epaimahaikidea
Contractual verification of web service compositions with time constraints 2011Universidad de Castilla-La Mancha
MARTINEZ LOPEZ, ENRIQUE
-
Epaimahaiko Secretario
Marcos temporales y probabilísticos para testing formal 2009Universidad Complutense de Madrid