Homología efectiva y sucesion espectral de eilenberg-moore.
Tesis doctoral de Julio Jesús Rubio García Datos académicos de la tesis doctoral «Homología efectiva y sucesion espectral de […]
Tesis doctoral de Julio Jesús Rubio García
Información academica Julio Jesús Rubio García. Tesis donde Julio Jesús Rubio García ha sido autor, director o parte del tribunal.
Diseño, desarrollo y validación de soluciones tecnológicas para la práctica de la expresión oral de segundas lenguas mediante un entorno colaborativo e interactivo de código abierto: babelium project
Tesis doctoral de Juan Antonio Pereira Varela Esta tesis tiene como objetivo demostrar la hipótesis que afirma que con la
Gestión mecanizada del conocimiento matemático en topología algebraica
Tesis doctoral de Jónatan Heras Vicente Esta tesis presenta una particularización de la gestión del conocimiento matemático (mathematical knowledge management)
Coordinación de servicios web: de las aplicaciones a los modelos formales
Tesis doctoral de Eloy Javier Mata Sotés El objetivo de la tesis ha sido la aplicación de métodos formales en
Operaciones cohomológicas: un enfoque combinatorial
Tesis doctoral de Rocio Gonzalez Diaz En esta memoria se establece un enfoque puramente combinatorio de las operaciones cohomológicas de
Una aproximación a la mejora de reusabilidad de código c++ basada en metainformación del modelo de objetos.
Tesis doctoral de Francisco Javier Zarazaga Soria La tesis aborda el estudio de la potenciación de la reutilización de código
Modelo álgebro-topológico de representación de imágenes digitales en nd
Tesis doctoral de Belén Medrano Garfia Esta tesis aborda el problema de computar características topológicas en el dominio de las
Effective homology and spectral sequences
Tesis doctoral de Ana Romero Ibáñez Homología efectiva y sucesiones espectrales son dos técnicas distintas de topología algebraica que pueden
Inmersiones ortogonales de grafos en superficies no planas
Tesis doctoral de María De Los Angeles Garrido Vizuete El área de investigación sobre dibujos de grafos (graph drawing) se
Verificación formal en acl2 del algoritmo de buchberger
Tesis doctoral de Inmaculada Medina Bulo En este trabajo se han desarrollado los elementos necesarios para especificar, implementar y verificar