Reglas y estrategias de trasnformación para programas logico-funcionales.
Tesis doctoral de Gines Damian Moreno Valverde El problema de la integración de la programación lógica y funcional esta considerado […]
Tesis doctoral sobre Matemáticas
Accede a todas las tesis doctorales sobre Matemáticas mas relevantes.
Reglas y estrategias de transformación para programas logico-funcionales.
Tesis doctoral de Pascual Julian Iranzo La evaluación parcial (ep) es una técnica de transformación automática que consigue la optimización
Aplicaciones de la teoria de conjuntos al analisis
Tesis doctoral de Jorge López Abad Consideremos la siguiente situacion: sea x es un espacio de banach separable de dimension
Structural and algorithmic aspects of geometric projections
Tesis doctoral de Joan Antoni Sellarés Chiva Datos académicos de la tesis doctoral «Structural and algorithmic aspects of geometric
Modelos de gestion basados en tecnologías bio-inspiradas para el desarrollo de nuevos productos.
Tesis doctoral de Cristina Mendaña Cuervo Esta tesis doctoral presenta una nueva metodología de diseño de modelos de gestion aplicando
Consistencia y sensibilidad en la determinacion del tamaño funcional de productos software. metodo por componentes normalizado y extendido.
Tesis doctoral de Ramon Asensio Monge El análisis de puntos función fpa de a.J. Albrecht es un mí§étodo para la
Biplot con informacion externa en modelos lineales generalizados.
Tesis doctoral de Cardenas Cardenas Olesia Coromoto En la ultima decada los aportes en el desarrollo de los métodos biplot
A new distributed diffusion alfortihm for dynamic load-balancing in parallel systems.
Tesis doctoral de Ana Cortés Fité Uno de los problemas centrales a resolver en computadores paralelos/distribuidos es conseguir una distribución
Balanceo distribuido del encaminamiento en redes de interconexión de computadores paralelos
Tesis doctoral de Daniel Franco Puntes En esta investigación, partimos de la observación del funcionamiento de las redes de interconexión
Clasificación de arritmias cardiacas mediante vectores soporte
Tesis doctoral de José Luis Rojo Alvarez En esta tesis se aborda el análisis estadístico y la realización algorítmica eficiente