Data structures and algorithms for automated deduction with equality
Tesis doctoral de José Miguel Rivero Almeida Datos académicos de la tesis doctoral «Data structures and algorithms for automated […]
Tesis doctoral sobre Ciencia de los ordenadores
Accede a todas las tesis doctorales sobre Ciencia de los ordenadores mas relevantes.
Arquitecturas y algoritmos para el calculo fiable de funciones elementales.
Tesis doctoral de Francisco Javier. Hormigo Aguilar Esta tesis presenta algoritmos eficientes y las arquitecturas asociadas, para el cálculo de
Actualizacio consistent de bases de dades deductives
Tesis doctoral de Enric Mayol Sarroca Datos académicos de la tesis doctoral «Actualizacio consistent de bases de dades deductives«
Dfl, computacion funcional distribuida
Tesis doctoral de Victor M. Gulias Fernandez La investigación se centra en la explotación de la programación concurrente funcional sobre
Diseño y evaluación de alternativas en la configuracion de sistemas de producción justo a tiempo mediante una herramienta de simulacion
Tesis doctoral de Fernando Marin Martinez Durante la investigación que da título a la tesis se ha desarrollado una herramienta
Contribuciones a la gestión de dispositivos en sistemas basados en corba
Tesis doctoral de María Teresa Gomez Ariza Esta tesis es una aportación a la gestión de sistemas distribuidos de fabricación
Integración de herramientas de simulación para la realización de aplicaciones de enseñanza
Tesis doctoral de Juan De Lara Jaramillo Datos académicos de la tesis doctoral «Integración de herramientas de simulación para
Caracterización de modelos de cooperación entre organizaciones como base para la obtención de estructuras, flexibles y competitivas.
Tesis doctoral de Mª Del Mar Criado Fernández El presente trabajo de tesis se enmarca dentro del tema genral de
Fusion topologica y cuantitativa de redes causales
Tesis doctoral de José Del Sagrado Martínez Esta memoria analiza la fusión de redes bayesianas, siendo su objetivo principal desarrollar
Numerical modelling of complex geomechanical problems
Tesis doctoral de Agusti Perez Foguet Datos académicos de la tesis doctoral «Numerical modelling of complex geomechanical problems« Título