Una propuesta de generacion sistematica de estructuras compositivas
Tesis doctoral de Yturralde Lopez José M. Los humbrales de interaccion espacial entre las distintas redes que formalizan la nocion […]
Tesis doctoral de Isidro Ramos Salavert
Información academica Isidro Ramos Salavert. Tesis donde Isidro Ramos Salavert ha sido autor, director o parte del tribunal.
Semantica de comportamiento en lenguajes de especificacion
Tesis doctoral de M. Pilar Nivela Alos Datos académicos de la tesis doctoral «Semantica de comportamiento en lenguajes de
Tecnicas de reescritura para especificaciones condicionales.
Tesis doctoral de María Luisa Navarro Gómez Datos académicos de la tesis doctoral «Tecnicas de reescritura para especificaciones condicionales.«
Un estudio sobre la paralelizacion del metodo de ramificacion y acotacion.
Tesis doctoral de Ortega Ortiz De Apodaca Manuel Datos académicos de la tesis doctoral «Un estudio sobre la paralelizacion
Modelo para el estudio analitico del campo electromagnetico en medios ferromagneticos.
Tesis doctoral de Vicente Muñoz Sanjosé Datos académicos de la tesis doctoral «Modelo para el estudio analitico del campo
Estudio de las medidas radiometricas realizadas desde satelites artificales. aplicacion a la agrometeorología.
Tesis doctoral de Vicente Caselles Miralles Se realiza un estudio de los diferentes factores de que vienen afectadas las medidas
Programacio amb tipus abstractes de dades: els tipus abstractes com a suport conceptual dels esquemes de programa.
Tesis doctoral de Pere Botella López Se presenta un nuevo enfoque del uso de tipos de datos en la construccion
Diseño y desarrollo de un sistema multimicroprocesador.
Tesis doctoral de Aramberri Miranda Jesús M. Se trata de la implementacion de un sistema de calculo con arquitectura multiprocesador
G.p.f.a.r un sistema transformacional para el analisis verificacion y calculo inteligente de un conjunto de funciones en recursividad cruzada
Tesis doctoral de Garijo Mazario Francisco Javier La memoria presentada describe la realizacion de un sistema de generacion automatica de
Algunos resultados nuevos en complejidad algoritmica
Tesis doctoral de Josep Díaz Cort Despues de un resumen sobre la historia de la complejidad algoritmica la primera parte