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, […]
Tesis doctoral sobre Ciencia de los ordenadores
Accede a todas las tesis doctorales sobre Ciencia de los ordenadores mas relevantes.
El diseño grafico y los entornos informaticos
Tesis doctoral de Emilio Espi Cerda El objetivo de este estudio ha sido la busqueda de una metodología en la
Establecimiento de un modelo y su desarrollo para un sistema de reconocimiento de nomenclaturas.
Tesis doctoral de Irene Luque Ruiz El trabajo de investigacion ha tenido como objetivo el diseño y construccion de un
Logica temporal y demostracion automatica de teoremas. eficiencia y paralelismo
Tesis doctoral de Enciso Garcia Oliveros Manuel Este trabajo se enmarca en la demostracion automatica de teoremas en logica modal
Optimizacion de la poliValencia de los recursos productivos en empresas que trabajan bajo pedido, mediante simulacion.
Tesis doctoral de Arnal Fraj Ana M. Se plantea el problema de scheduling de la produccion con limitacion variable de
Adquisicion de restricciones selectivas adecuadas a partir de corpus usando una taxonomia semantica.
Tesis doctoral de Francesc Ribas Framis El objetivo principal de esta tesis es el de investigar tecnicas y algoritmos computacionales
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
Constribucion al modelado y a la evaluacion de prestaciones en redes de area local industriales
Tesis doctoral de Gil Salinas José Antonio La presente tesis doctoral versa sobre el modelado y evaluacion de redes de
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