L2 ii o2 un lenguaje logico concurrente orientado a objetos
Tesis doctoral de Ernesto Pimentel Sanchez El trabajo desarrollado en el estudio se debe enmarcar en el ambito de la […]
Tesis doctoral sobre Teoría de la programacion
Accede a todas las tesis doctorales sobre Teoría de la programacion mas relevantes.
Tecnicas formales para el desarrollo jerarquico de sistemas concurrentes
Tesis doctoral de Alonso Gonzalez Luis M. Se presenta un metodo para el desarrollo de sistemas concurrentes, aplicable a sistemas
Un estudio sobre la aplicacion del razonamiento basado en casos a la construccion de programas.
Tesis doctoral de Ines Mendiz Noguero Se ha desarrollado un sistema que permite sintetizar programas por medio de la deteccion
Kolmogorov randomnes and its applications to structural complexity theory
Tesis doctoral de Ricard GavaldÁ Mestre Datos académicos de la tesis doctoral «Kolmogorov randomnes and its applications to structural
Computational complexity versus structural simplicity
Tesis doctoral de Antoni Lozano Bojados Datos académicos de la tesis doctoral «Computational complexity versus structural simplicity« Título de
Modelo de concurrencia de ada: implementacion e implicaciones
Tesis doctoral de Fernando Pérez Costoya El principal problema que impide actualmente una mayor utilizacion de las maquinas paralelas es
Una interpretacion logico-algebraica de la semantica de la programacion
Tesis doctoral de Aurora Perez Perez Se utiliza la teoria de categorias y, en concreto, determinadas categorias preorden, para abordar
Derivacion deductiva de programas funcionales con patrones
Tesis doctoral de Jesús Angel Velazquez Iturbide Datos académicos de la tesis doctoral «Derivacion deductiva de programas funcionales con
En busca del tiempo perdido
Tesis doctoral de Yolanda Ortega Mallen Datos académicos de la tesis doctoral «En busca del tiempo perdido« Título de
Un lenguaje para el diseño y validacion de especificaciones algebraicas.
Tesis doctoral de Ines Clerici Silvia Datos académicos de la tesis doctoral «Un lenguaje para el diseño y validacion