Automatic generation of polynomial invarianst for systema verification
Tesis doctoral de Enric Rodríguez Carbonell Datos académicos de la tesis doctoral «Automatic generation of polynomial invarianst for systema […]
Tesis doctoral sobre Informatica
Accede a todas las tesis doctorales sobre Informatica mas relevantes.
Modelización y optimización de algoritmos genéticos para la selección de la solución deseada en resolución constructiva de restricciones geométricas
Tesis doctoral de Enrique Barreiro Alonso En el campo del diseño asistido por computador el denominado diseño basado en restricciones
Mecanismos de incremento de prestaciones en el acceso a datos en grids
Tesis doctoral de Perez Menor José María Actualmente se puede obtener una gran potencia de cálculo mediante la utilización de
On the learnibility of mildly context-sensitive languages using positive data and correction queries
Tesis doctoral de Leonor Becerra Bonache Con esta tesis doctoral aproximamos la teoría de inferencia gramatical y los estudios de
Medidas de usabilidad para componentes software
Tesis doctoral de Manuel Fernández Bertoa La última década ha marcado el primer intento real de convertir el desarrollo software
Data integration with xml and semantic web technologies
Tesis doctoral de Ruben Tous Liesa En general, la integración de múltiples bases de datos heterogenias tiene como objetivo ofrecer
Razonamiento mecanizado en álgebra homológica
Tesis doctoral de Jesús María Aransay Azofra En la tesis se aborda el problema de obtener una versión certificada de
Middleware de equilibrio de carga para computación paralela sobre entornos heterogéneos lan-wlan
Tesis doctoral de David De La Cruz Sánchez Rodríguez Isbn:? 978-84-690-9603-1 Datos académicos de la tesis doctoral «Middleware de
Computer-suported cooperative work for music applications
Tesis doctoral de Mendes Barbosa álvaro Manuel Esta tesis resulta de la investigación sobre practicas musicales basadas en redes de
Sistemas de diálogo basados en modelos estocásticos
Tesis doctoral de Francisco Torres Goterris En la presente tesis, titulada «sistemas de diálogo basados en modelos estocásticos», se expone