Validacion de protocolos. una aproximacion algebraica.
Tesis doctoral de Orlando Pereda Soriano Datos académicos de la tesis doctoral «Validacion de protocolos. una aproximacion algebraica.« Título […]
Tesis doctoral de Rafael Portaencasa Baeza
Información academica Rafael Portaencasa Baeza. Tesis donde Rafael Portaencasa Baeza ha sido autor, director o parte del tribunal.
«ingenieria de requerimientos en el ciclo de vida».
Tesis doctoral de Martinez Armero José Tomas Desarrolla una metodología formal de analisis y derivacion de requerimientos. Incluyendo los niveles
Convergencia de los metodos iterativos de agregacion. aplicacion a la difusion multigrupo en reactores nucleares
Tesis doctoral de José Manuel Corrales Sendino Datos académicos de la tesis doctoral «Convergencia de los metodos iterativos de
Propuesta de un modelo para el servicio distribuido de almacenamiento y recuperacion dentro del marco de referencia para la interconexion de sistemas abiertos.
Tesis doctoral de Carracedo Gallardo Justo Antonio Datos académicos de la tesis doctoral «Propuesta de un modelo para el
Bases para un planteamiento jerarquico de la logica aplicable a la representacion e interpretacion del conocimiento
Tesis doctoral de Hermida De La Rica María no Datos académicos de la tesis doctoral «Bases para un planteamiento
Contribucion para una nueva generacion de sistemas de diseño asistido por computador basados en inteligencia artificial
Tesis doctoral de Francisco Gisbert Canto Datos académicos de la tesis doctoral «Contribucion para una nueva generacion de sistemas
Analisis y diseño de sistemas digitales mediante modelos dinamico-temporales.
Tesis doctoral de Juan Antonio Fernandez Hernandez En este trabajo se han desarrollado modelos y metodos temporales que permiten el
Convergencia en la aproximacion a grupos de operadores mediante esquemas de un solo paso
Tesis doctoral de José Luis Morant Ramón Estudio de la aproximacion a la solucion de problemas de evolucion lineales cuando
Modelo incremental recursivo para el analisis de la mecanica de los oidos medio e interno
Tesis doctoral de Pedro Gómez Vilda El presente trabajo propone la adopcion de un modelo de linea de transmision para
Aproximacion racional a semigrupos de operadores lineales.
Tesis doctoral de Arturo Ribagorda Garnacho Se presenta una nueva clase de aproximaciones racionales a semigrupos de operadores que dan