The calculus of refinements: a formal specification model based on inclusions
Tesis doctoral de Jordi Levy Diaz Datos académicos de la tesis doctoral «The calculus of refinements: a formal specification […]
Tesis doctoral sobre Politécnica de catalunya
Accede a todas las tesis doctorales sobre Politécnica de catalunya mas relevantes.
Sobre la representacion y el conocimiento temporal en sistemas basados en conocimientos.
Tesis doctoral de LLuis Vila Grabulosa Esta tesis explora la representacion del tiempo y el razonamiento automatico sobre este en
Aplicacion de metodos teoricos al estudio conformacional de diversas clases de poliamidas
Tesis doctoral de Carlos Enrique Alemán Llansó La tesis presentada consta del estudio de las conformaciones accesibles de cuatro polimeros
«le corbusier: la forma acustica»
Tesis doctoral de Jaime Coll Lopez La tesis presentada por el sr. Jaume coll con el titulo «le corbusier: la
Contribucion al estudio de los pares de matrices doblemente multiplicables
Tesis doctoral de Jose Gelonch Anye Dado un par de matrices (a,b), con a de orden m x n y
Metodología para la caracterizacion de ligantes asfalticos mediante el empleo del ensayo cantabro.
Tesis doctoral de José Rodrigo Miró Recasens La caracterizacion de los ligantes bituminosos se ha venido realizando mediante una serie
Ordenacion de la ejecucion de particiones en algoritmos sistolicos
Tesis doctoral de Alvaro Suarez Sarmiento En este trabajo se desarrolla una nueva tecnica para ordenar la ejecucion de las
Parallel time and sequential reducibilities
Tesis doctoral de Carme Alvarez Faura La tesis es un estudio teorico de las clases de problemas computacionales resolubles muy
«seleccion de inversiones bursatiles. analisis del sector electrico»
Tesis doctoral de Joan Coll Sola El objetivo de esta tesis es un criterio de seleccion de inversiones bursatiles para
Cooperacion entre la aplicacion y el kernel para la planificacion de flujos, en sistemas multiprocesadores, como soporte al paralelismo.
Tesis doctoral de M. Luisa Gil Gomez Para los entornos de trabajo actuales, multiprocesador, una opcion valida para obtener el