Modelado de solidos y algebra de objetos graficos.
Tesis doctoral de Francisco Ramon Feito Higueruela A partir de las formalizaciones propuestas por fiume (1988) y torres (1992) para […]
Tesis doctoral sobre Software
Accede a todas las tesis doctorales sobre Software mas relevantes.
Reflexiones sobre el proceso de concepcion de sistemas complejos. medes: un metodo de especificacion, desarrollo y evolucion de sistemas software.
Tesis doctoral de José Parets Llorca Desarrollo de un metodo de desarrollo y evolucion de sistemas software basado en la
Jerarquias de herencia en el diseño de software orientado al objeto
Tesis doctoral de Marques Corral José Manuel Este trabajo de investigacion se situa en el ambito de la problematica que
Problemas algoritmico-combinatorios de visibilidad.
Tesis doctoral de Jesús García López De Lacalle En esta tesis se presentan diversos resultados dentro del campo de visibilidad,
The calculus of refinements: a formal specification model based on inclusions
Tesis doctoral de Jordi Levy Diaz Datos académicos de la tesis doctoral «The calculus of refinements: a formal specification
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
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