Arquitectura de programas a partir de especificaciones formales
Tesis doctoral de Joaquin Salvachua Rodriguez Lotos es un lenguaje de especificacion para la descripcion de protocolos entre sistemas abiertos. […]
Accede a todas las tesis doctorales sobre Matemáticas mas relevantes.
Tesis doctoral de Joaquin Salvachua Rodriguez Lotos es un lenguaje de especificacion para la descripcion de protocolos entre sistemas abiertos. […]
Tesis doctoral de Enrique Ponsoda Miralles En esta memoria se consideran dos tipos de ecuaciones diferenciales matriciales. En primer lugar
Tesis doctoral de Juan Manuel Franco Taboada La tesis tiene como objetivo comprobar las cualidades del diseño asistido por ordenador;
Tesis doctoral de Pedro Gurrola Perez Dentro del area de la geometria algebraica, uno de los problemas de mayor interes
Tesis doctoral de Garcia Soidan M. Pilar En este trabajo, se plantean dos objetivos: por una parte se trata de
Tesis doctoral de Moral Avila M. José Del En la teoria de procesos estocasticos la evolucion simplificada de ciertos tipos
Tesis doctoral de Angel Jimenez Hernandez La memoria analiza los resultados fundamentales de esta teoria, obtenidos en las ultimas decadas,
Tesis doctoral de Eloy Parra Boyero Mediante redes de neuronas artificiales con algoritmo retropropagacion, se ha conseguido hacer un sistema
Tesis doctoral de Francisco Jubete Portilla El metodo polar (m.P.) Se inserta dentro de los universalmente conocidos «methods of feasible
Tesis doctoral de Farto Alvarez José Miguel Se describe el proceso de resolucion de un polinomio diferencial buscando por coeficientes