Metodos de tableaux para logicas con declaraciones de terminos dominios preordenados y operaciones monotonas
Tesis doctoral de Pedro Jesús Martin De La Calle Las tesis presenta sistemas de tableaux para tres extensiones de la […]
Tesis doctoral sobre Informatica
Accede a todas las tesis doctorales sobre Informatica mas relevantes.
Consistencia y sensibilidad en la determinacion del tamaño funcional de productos software. metodo por componentes normalizado y extendido.
Tesis doctoral de Ramon Asensio Monge El análisis de puntos función fpa de a.J. Albrecht es un mí§étodo para la
Tecnicas de inteligencia artificial e ingenieria del software para un sistema inteligente de monitorizacion de apneas en sueño
Tesis doctoral de Elena María Hernandez Pereira El objetivo de esta tesis consiste en el desarrollo de un sistema automatico
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
Estudio morfologico contrastivo ingles-español sobre terminología de la informatica y de internet.
Tesis doctoral de José Ramon Belda Medina Estudio contrastivo sobre mecanismos de formacion de palabras en la terminología de la
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 en cobra de mecanismos para el transporte y control de flujos multimedia.
Tesis doctoral de Montoya Munera Edwin Nelson Esta tesis doctoral explora los diferentes mecanismos que se pueden utilizar para la
Mallas ordenadas multirresolucion
Tesis doctoral de Jose Ribelles Miguel Esta tesis presenta un nuevo modelo multirresolución denominado «mallas ordenadas multiresolución» (mom). Este modelo
Sistemas de informacion para la gestion de recursos culturales: teoria, metodología y tecnologías.
Tesis doctoral de Cesar Gonzalez Perez Esta tesis presenta una propuesta teórica, metodológica y tecnológica para el diseño y construcción
Nuevos algoritmos para separacion ciega de fuentes utilizando metodos geometricos.
Tesis doctoral de Beatriz Prieto Campos El problema de separación ciega de fuentes consiste en la obtención de las señales