Logica temporal de intervalos formalización de diagramas de estados
Tesis doctoral de Carlos Rossi Jimenez En este trabajo se definen dos lógicas temporales proposicionales sobre tiempo discreto, llamadas lnint […]
Tesis doctoral de Francisco Trigueros ruiz
Información academica Francisco Trigueros ruiz. Tesis donde Francisco Trigueros ruiz ha sido autor, director o parte del tribunal.
Inferencia en mds y su tratamiento computacional
Tesis doctoral de Vera Vera José Fernando En esta memoria se propone una extension del modelo de ramsay bajo dos
Programacion funcional y procesamiento paralelo. transformaciones paralelizantes de programas.
Tesis doctoral de Eduardo Medina Cano Esta tesis aporta resultados originales en el marco de la teoria de transformaciones algebraicas
Diseño de una metodología case de desarrollo de software
Tesis doctoral de Antonio De Amescua Seco Datos académicos de la tesis doctoral «Diseño de una metodología case de
Contribucion a la mejora de las tecnicas de auditoria informatica mediante la aplicacion de metodos y herramientas de ingenieria del conocimiento.
Tesis doctoral de Ramon Gonzalez Miguel Angel Datos académicos de la tesis doctoral «Contribucion a la mejora de las
Clasificacion y analisis multicriterio. aplicaciones.
Tesis doctoral de Vaamonde Liste Andrés Antonio Se desarrollan metodos de clasificacion para su aplicacion en sistemas complejos caracterizados por