Bases de ideales en multirreticulos y delta-arboles
Tesis doctoral de Gloria Gutierrez Barranco El grupo de investigacion gimac ha desarrollado la metodología de demostracion automatica de teoremas […]
Accede a todas las tesis doctorales sobre Ciencia de los ordenadores mas relevantes.
Tesis doctoral de Gloria Gutierrez Barranco El grupo de investigacion gimac ha desarrollado la metodología de demostracion automatica de teoremas […]
Tesis doctoral de Guoxiang Zhang En esta tesis se presenta una formulacion matematica y numerica para el flujo de agua,
Tesis doctoral de José María Cavero Barca Los almacenes de datos (datawarehouses) surgen ante la necesidad por parte de las
Tesis doctoral de García Santiago M. Dolores Esta tesis doctoral propone una nueva metodología de visualización, basada en diversas técnicas
Tesis doctoral de González Rodríguez Bernardo Martín La adaptaciónde aplicaciones informáticas a las necesidades cognitivas, perceptivas o motoras concretas de
Tesis doctoral de José Emilio Labra Gayo En esta tesis se desarrolla un sistema de prototipado del lenguajes de programación
Tesis doctoral de Francisco Javier Ozón Górriz En la presente tesis se analiza el problema del coloreado de grafos tanto
Tesis doctoral de Merce Llabres Segura La transformación de pushout doble (dpo) de grafos, introducida a principios de los años
Tesis doctoral de Ana Belén Martínez Prieto Esta tesis describe un sistema de gestión de bases de datos orientadas a
Tesis doctoral de Francisco Maciá Pérez En esta tesis realizamos un estudio detallado sobre los problemas de administración de sistemas