Validacion de protocolos. una aproximacion algebraica.
Tesis doctoral de Orlando Pereda Soriano Datos académicos de la tesis doctoral «Validacion de protocolos. una aproximacion algebraica.« Título […]
Tesis doctoral sobre Informatica
Accede a todas las tesis doctorales sobre Informatica mas relevantes.
Adaptacion de la arquitectura en tiempo de ejecucion
Tesis doctoral de Joan Sorribes Gomis Datos académicos de la tesis doctoral «Adaptacion de la arquitectura en tiempo de
Algoritmos de seleccion en el proceso de adaptacion de la arquitectura de un ordenador
Tesis doctoral de Tomas Diez Gutierrez Datos académicos de la tesis doctoral «Algoritmos de seleccion en el proceso de
La informatica juridica una aproximacion experimental desde la filosofia del derecho.
Tesis doctoral de Gonzalez Tablas Sastre Rafael Datos académicos de la tesis doctoral «La informatica juridica una aproximacion experimental
La informatica en la empresa de seguros.
Tesis doctoral de Josep Masdeu Ballart Datos académicos de la tesis doctoral «La informatica en la empresa de seguros.«
Ordenacion lineal de grafos para el almacenamiento de registros en memorias secundarias.
Tesis doctoral de José María Troya Linero Se aborda el problema de minimizar el tiempo de acceso a una memoria
La informatica en farmacia hospitalaria.
Tesis doctoral de Ignacio Perez Rios Se estudia la necesidad de valerse de ordenadores el farmaceutico de hospital para poder
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
Arquitecturas multiprocesadoras sin control centralizado.
Tesis doctoral de Juan Brossa Mota Se presenta una nueva forma de dividir un proceso en subprocesos y una forma
Analisis microeconomico y cibernetico: hacia un enfoque sistemico de los procesos de adaptacion de la empresa.
Tesis doctoral de Salvador Miquel Peris En el trabajo objeto de nuestra investigacion hemos pretendido poner de relieve el entronque