
PURIFICACIÓN
ARENAS SÁNCHEZ
Profesora titular de universidad
Dissertation
-
Programación declarativa con restricciones sobre tipos de datos algebraicos 1999
Universidad Complutense de Madrid
Dissertationen geleitet (1)
-
De programas abstractos a cotas asintóticas precisas en forma cerrada 2014
Universidad Complutense de Madrid
Alonso Blas, Diego Esteban
Gerichte für Dissertationen (4)
-
Sekretärin des Gerichts
Desarrollo dirigido por modelos de aplicaciones seguras para el manejo de información 2015Universidad Complutense de Madrid
García de Dios, Miguel Ángel
-
Sekretärin des Gerichts
Técnicas de detección y diagnosis de errores en consultas de bases de datos 2014Universidad Complutense de Madrid
-
Sekretärin des Gerichts
Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa 2009Universidad Complutense de Madrid
-
Sekretärin des Gerichts
Transformación y análisis de código de bytes orientado a objetos 2009Universidad Complutense de Madrid