Aportacion al estudio de la descripcion, validacion y verificacion de protocolos de comunicacion.
Tesis doctoral de Miguel Garcia Hoffmann En esta tesis se desarrolla un sistema formal para la descripcion y verificacion de […]
Accede a todas las tesis doctorales sobre Matemáticas mas relevantes.
Tesis doctoral de Miguel Garcia Hoffmann En esta tesis se desarrolla un sistema formal para la descripcion y verificacion de […]
Tesis doctoral de Juan Brossa Mota Se presenta una nueva forma de dividir un proceso en subprocesos y una forma
Tesis doctoral de Agusti Reventos Tarrida En este trabajo se obtiene una formula sobre variedades riemannianas compactas orientables de dimension
Tesis doctoral de Jaume Llibre Salo Datos académicos de la tesis doctoral «Evoluciones finales y movimientos quasi-aleatorios en el
Tesis doctoral de Francisco Del Aguila Gimenez Datos académicos de la tesis doctoral «Analisis de desintegraciones a tres cuerpos.«
Tesis doctoral de Pilar Olave Rubio Se han estudiado nuevos criterios de optimalidad aplicados a procesos de decision markovianos y
Tesis doctoral de Navarro Segura José Luis Toda comultiplicacion sobre un espacio 1-conexo x induce estructura de lazo algebraico en
Tesis doctoral de Mira Ros José Manuel Se estudia el problema de la extension acotada en la clase de los
Tesis doctoral de Gracia Sampietro José M. Se estudian nuevos aspectos de multifunciones entre a y b minimas para aplicarlas
Tesis doctoral de Marta Garcia Esnaola La tesis se desarrolla en el universo de los fc. Grupos periodicos localmente resolubles