Sobre la representacion y el conocimiento temporal en sistemas basados en conocimientos.
Tesis doctoral de LLuis Vila Grabulosa Esta tesis explora la representacion del tiempo y el razonamiento automatico sobre este en […]
Tesis doctoral sobre Software
Accede a todas las tesis doctorales sobre Software mas relevantes.
Parallel time and sequential reducibilities
Tesis doctoral de Carme Alvarez Faura La tesis es un estudio teorico de las clases de problemas computacionales resolubles muy
Contributions to the study of resource-bounded measure
Tesis doctoral de Elvira Mayordomo Camara La tesis presenta extensiones y nuevas aplicaciones de la teoria de la medida con
Automated deduction with constrained clauses
Tesis doctoral de Albert Rubio Gimeno Esta tesis doctoral se centra en el estudio de mecanismos para realizar deduccion automatica
Contribucion al estudio de funciones de sintesis para la inteligencia artificial.
Tesis doctoral de VicenÁ§ Torra Reventós Se desarrollan diversos resultados en el campo de las funciones de combinacion. Se analizan
Implantes intraoculares de pem2 e iogel analisis mediante un software personal.
Tesis doctoral de Ruiz Bilbao Susana Marta A raiz de la colocacion de la primera lente intraocular por ridley en
Tecnicas para modelage de solidos con frontera continua.
Tesis doctoral de Nuria Pla Garcia El principal objetivo de esta tesis es el estudio exhaustivo de un sistema de
Contribucion al estudio de las tecnicas de garantia de calidad del software: su incidencia en la planificacion.
Tesis doctoral de Granja Alvarez Juan Carlos Existe la necesidad de mejorar la calidad de los productos informaticos y al
Modelizacion de un sistema operativo multiproposito: especificacion formal en estelle.
Tesis doctoral de Oliverio Gonzalez Alonso Se pretende aplicar una tecnica de descripcion formal (fdt) a la modelizacion de un
Eppi: entorno paralelo orientado al procesamiento digital de imagenes.
Tesis doctoral de Quiles Flor Francisco Jose Este trabajo presenta el diseño de un entorno de programacion paralela orientado al