Metodología avanzada para la direccion integrada de proyectos software basada en procesos software
Tesis doctoral de Coronado Arrechedera Sergio Rafael Es posible integrar en un sistema el conjunto de necesidades para la gestión […]
Tesis doctoral de Juan Llovet Verdugo
Información academica Juan Llovet Verdugo. Tesis donde Juan Llovet Verdugo ha sido autor, director o parte del tribunal.
Cotas inferiores para problemas de evaluación en teoría de la complejidad algebraica
Tesis doctoral de Miguel Angel Aldaz Zaragueta En esta tesis se estudia la complejidad computacional del problema de la evaluación
Estudio de la verificacion de propiedades de programas funcionales de las pruebas manuales al uso de asistentes de pruebas
Tesis doctoral de Jorge Castro José Santiago El principal objetivo de esta tesis es la investigación de una metodología para
Modelo del conocimiento y automatismos para su explotación en la web: aplicaciones e-learning y e-consulting
Tesis doctoral de Del Alamo Lobo Francisco Javier El objetivo de la tesis es la modelización del conocimiento en términos
Aplicaciones de la interpolación polinómica clásica en álgebra computacional
Tesis doctoral de Ana Marco García Muchos problemas de álgebra computacional resultan intratables debido a que requieren demasiado tiempo y
Desarrollo de un programa informático como apoyo a la optimización de procesos en síntesis orgánica
Tesis doctoral de Andrés Ramos Gónzález Se ha creado un programa de diseño y optimización de reacciones de fácil utilización
Efecto de renumeracion sobre el precondicionamiento en metodos basados en subespacios de krylov para la resolución de sistemas de ecuaciones lineales
Tesis doctoral de Luis Alvarez Amador Utilizando métodos del gradiante, como el b-cg, el c.G.S. Y el b-cgstab, basados en
Razonamiento geometrico basado en vision para la determinacion y ejecucion del agarre de robots manipuladores.
Tesis doctoral de Pedro José Sanz Valero El objetivo central de la tesis aqui presentada ha sido demostrar la viabilidad
Calculo simbolico de la forma canonica racional de una matriz.
Tesis doctoral de Karin Martin Ortiz Se introducen algoritmos eficientes y exactos para el calculo de la forma canonica racional
Ecuaciones funcionales: genesis, desarrollo e implementacion de un paquete para su resolucion simbolica.
Tesis doctoral de Angel Cobo Ortega La tesis presenta la construccion de un sistema computacional de resolucion simbolica de ecuaciones