Una interpretacion algebraica de la verificacion de sistemas basados en el conocimiento
Tesis doctoral de Angelica De Antonio Jimenez El trabajo presentado se puede considerar un avance en la validacion de sistemas […]
Tesis doctoral sobre Ciencia de los ordenadores
Accede a todas las tesis doctorales sobre Ciencia de los ordenadores mas relevantes.
Soporte grafico para la descripcion arquitectonica de sistemas
Tesis doctoral de Jesús Sanchez Allende La contribucion de la presente tesis consiste en la definicion de un lenguaje grafico
Algoritmos de unificacion ecuacional en teorias xerais
Tesis doctoral de Luis Cachafeiro Chamosa Se presenta un nuevo algoritmo universal de e-unificacion que es completo en teorias generales,
Sistemas y tecnologías de la informacion en las organizaciones. repercusiones para la administracion de empresas
Tesis doctoral de Daniel Garcia Bravo La precipitacion de un nuevo orden socio-economico, la era del conocimiento, ha descargado en
Construccion, caracterizacion y puesta a punto de un microscopio de efecto tunel. aplicacion al estudio de superficies en un proceso de metalizado de plasticos
Tesis doctoral de Aurelio Arenas Dalla Vecchia Inicialmente se describe la construccion mecanica y electronica de un microscopio de efecto
Modularization, uncertainty, reflective control and deduction by specialization in milord ii, a language for knowledge-based systems.
Tesis doctoral de Josep Puyol Gruart Milord ii es un lenguaje para el desarrollo de sistemas expertos. En particular para
Teoria de la informacion en la resolucion del codigo genetico
Tesis doctoral de Barreiro Sorrivas José M. El dna es el material hereditario de todas las especies. watson y crick
Tecnologías avanzadas gis-cad en la formulacion y evaluacion multicriterio de los estudios de viabilidad de regadios. aplicacion a la llanura norte de la provincia de albacete
Tesis doctoral de Trueba Fernandez Amigo M. Elena El principal objetivo de esta tesis doctoral se centra en el desarrollo
Aplicaciones del diseño asistido por ordenador a la arquitectura. herramientas de trabajo para el diseño arquitectonico.
Tesis doctoral de Juan Manuel Franco Taboada La tesis tiene como objetivo comprobar las cualidades del diseño asistido por ordenador;
Semicoberturas heterogeneas de regiones bidimensionales morfologicamente no restringidas. modelado conexionista aplicado.
Tesis doctoral de Juan Manuel García Chamizo Optimizacion de la colocacion de un conjunto de piezas planas a recortar de