Sistematizacion y uso de las tecnicas de visualizacion de programas concurrentes.
Tesis doctoral de Gomez Henriquez Luis Manuel La visualizacion de programas es el arte de hacer que los programas tengan […]
Tesis doctoral sobre Software
Accede a todas las tesis doctorales sobre Software mas relevantes.
Tolerancia de estructuras geometricas y combinatorias.
Tesis doctoral de Ramos Alonso Pedro Antonio En esta tesis se introduce el concepto de tolerancia de una estructura o
Algoritmos paralelos basados en el metodo de lanczos. aplicaciones en problemas de control.
Tesis doctoral de Aliaga Estelles José Ignacio El objetivo fundamental de esta tesis doctoral ha sido la definicion de la
Estudio de los metodos de interaccion usuario-aplicacion en simulacion mecanica.
Tesis doctoral de Luis María no Matey Muñoz Esta tesis optimiza los metodos de interaccion en el campo de la
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
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
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