Evolucion del software: una formalizacion basada en logica temporal de predicados y redes de petri coloreadas
Tesis doctoral de Rodriguez Fortiz M. Jose Se utilizan dos formalismos: las redes de petri coloreadas (rdpc) y la lógica […]
Accede a todas las tesis doctorales sobre Matemáticas mas relevantes.
Tesis doctoral de Rodriguez Fortiz M. Jose Se utilizan dos formalismos: las redes de petri coloreadas (rdpc) y la lógica […]
Tesis doctoral de Besga Armas M. Concepcion La presente tesis estudia los problemas que pertenecen al campo de la teoria
Tesis doctoral de José Antonio Rodriguez Mondejar En esta tesis se presenta una novedosa metodología para la implantacion de funciones
Tesis doctoral de Miguel ángel Rubio Paramio Los trabajos realizados hasta el momento en el tema de diseño automático del
Tesis doctoral de Pablo Cortes Achedad En esta tesis doctoral se desarrollan modelos para el diseño y planificación de redes
Tesis doctoral de Gonzalo Alvarez Marañon El conjunto de mandelbrot suele proponerse como paradigma de los sistemas caóticos discretos. Sin
Tesis doctoral de Roberto Santos Bueno En esta tesis se ha realizado el estudio del regimen caotico de los convertidores
Tesis doctoral de José Angel Olivas Varela En el marco de la inteligencia artificial, este trabajo es una contribución experimental
Tesis doctoral de Francisco Aguado Correa La escasez de modelos empresariales de programación maestra que respetan el enfoque jerárquico e
Tesis doctoral de Rutwig Campoamor Stursberg En esta memoria se presenta, además del refinamiento de ciertos resultados clásicos relativos a