«un model pel tractament de la informacio temporal en un sistema de comprensio automatica de noticies»
Tesis doctoral de Nuria Castell Ariño Datos académicos de la tesis doctoral ««un model pel tractament de la informacio […]
Tesis doctoral de Ricardo Peña Mari
Información academica Ricardo Peña Mari. Tesis donde Ricardo Peña Mari ha sido autor, director o parte del tribunal.
En busca del tiempo perdido
Tesis doctoral de Yolanda Ortega Mallen Datos académicos de la tesis doctoral «En busca del tiempo perdido« Título de
Especificacion algebraica de tipos abstractos de datos no deterministas.
Tesis doctoral de Federico Valenciano Llovera Datos académicos de la tesis doctoral «Especificacion algebraica de tipos abstractos de datos
Aplicación de las unidades de procesamiento gráfico en el diseño e implementación de sistemas de ray tracing
Tesis doctoral de Roberto Torres De Alba La obtención de imágenes que sean indistinguibles de una fotografía es uno de
Certificación formal de programas en un lenguaje funcional impaciente
Tesis doctoral de JavierDe Dios Castro En esta tesis se propone un metodo basado en la infraestructura pcc para convertir
Abstract certification of java programs in rewriting logic
Tesis doctoral de Mauricio Fernando Alba Castro In this thesis we propose an abstraction based certification technique for java programs
Técnicas avanzadas de compilación para programación lógica
Tesis doctoral de José Francisco Morales Caballero (english) declarative programming languages allow the expression of programs in a language that
Formalizando el proceso de depuración en programación funcional paralela y perezosa.
Tesis doctoral de Alberto De La Encina Vara Un aspecto poco tratado hasta hace relativamente poco tiempo en el área
Análisis y verificación de programas modulares
Tesis doctoral de Jesús Correas Fernández Existe un gran número de técnicas avanzadas de verificación y optimización estática de programas
Redes de petri móviles para la especificación y verificación de propiedades de seguridad en sistemas ubicuos
Tesis doctoral de Fernando Rosa Velardo Las redes de petri son un formalismo presentado por primera vez en la tesis