Drl: un lenguaje logico para sistemas distribuidos de tiempo real
Tesis doctoral de Manuel Diaz Rodriguez La tesis se enmarca en el ambito de los lenguajes logicos concurrentes y su […]
Tesis doctoral sobre Ciencia de los ordenadores
Accede a todas las tesis doctorales sobre Ciencia de los ordenadores mas relevantes.
Diseño optimo de forma en 3d: formulacion y tratamiento numerico del analisis de sensibilidad.
Tesis doctoral de Elena Schaeidt Ayarza Se presenta en esta tesis, un metodo de calculo de sensibilidades para problemas de
Tractament de corpus textuals lematitzats i estudi comparatiu del llenguatge cientific amb la prosa estandard
Tesis doctoral de Ana M. Puig Montada En esta tesis se realiza un tratamiento de un corpus de textos catalanes
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,
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