Método para la verificación de sistemas hibrídos basado en la propagación de etiquetas
Tesis doctoral de Jaime Ramírez Rodríguez Esta tesis supone un paso hacia delante en el área de la verificación de […]
Tesis doctoral sobre Matemáticas
Accede a todas las tesis doctorales sobre Matemáticas mas relevantes.
Arquitectura de datos avanzada de un directorio web, con optimización de consultas restringidas a una zona del grafo de categorías
Tesis doctoral de Fidel Cacheda Seijo Desde su origen, el world wide web ha sufrido un crecimiento exponencial que ha
Tecnologías de la información y la comunicación y calidad de la docencia universitaria: análisis de necesidades de formación del profesorado de la universidad de vigo
Tesis doctoral de Manuela Raposo Rivas La investigación realizada pretende aproximar los límites existentes entre las tics y la calidad
Solución automatizada basada en una arquitectura modular para la síntesis electrónica de sistemas de inferencia fuzzy
Tesis doctoral de Javier Garrigós Guerrero Los sistemas de cálculo basados en la lógica fuzzy (borrosa) combinan una representación estructurada
Control óptimo de la polución
Tesis doctoral de Mann Maldonado Sara Leticia El objeto de este estudio es mostrar como la teoría de control óptimo
Técnicas de desarrollo de aplicaciones distribuidas tolerantes a fallos sobre arquitecturas corba y javarmi
Tesis doctoral de Peña Cabañas Luis Miguel El sistema propuesto en esta tesis. Sensei, estudia cómo aplicar técnicas de replicación
Incertidumbre percibida del entorno y riesgo estratégico asumido en la toma de decisiones estratégicas
Tesis doctoral de Vanessa Yanes Estévez Esta tesis parte de que las organizaciones no son unos entes aislados de lo
Projective forcing/ forcing projectiu
Tesis doctoral de Roger Bosch Bastardas En esta tesis se estudian los órdenes parciales proyectivos; esto es, los órdenes parciales
El método modificado de las características. análisis y comparación numérica con algunos esquemas para la resolución de las ecuaciones de navier-stokes incompresibles no estacionarias
Tesis doctoral de El Anjoumi El Amrani Mofdi Se estudia una nueva versión del método modificado de las características (mmc)
Una propuesta de formalización de la arquitectura en cuatro capas de uml
Tesis doctoral de José Luis Fernández Alemán Se presenta una propuesta de formalización de la arquitectura en cuatro capas de