Certificación formal de programas en un lenguaje funcional impaciente
Tesis doctoral de JavierDe Dios Castro En esta tesis se propone un metodo basado en la infraestructura pcc para convertir […]
Tesis doctoral sobre Matemáticas
Accede a todas las tesis doctorales sobre Matemáticas mas relevantes.
Aplicaciones de la dimensión efectiva a la complejidad computacional y a los algoritmos de comprensión de datos
Tesis doctoral de María Lopez Valdes Durante las últimas décadas, la tecnología de las computadoras y el uso que de
Un análisis sistémico de la obra de josé mariano vallejo desde la perspectiva de la investigación histórica en educación matemática
Tesis doctoral de José Ivan Lopez Flores Esta investigación se inscribe en el campo de la investigación en historia de
Cálculo de escisión de separatrices y regiones de estabilidad usando multiprecisión: el microtrón y la singularidad hopf-zero.
Tesis doctoral de Oswaldo José Larreal Barreto La presente memoria se desarrolla con la idea de encontrar la frontera de
Contribuciones a los modelos multivariantes internos de riesgo de crédito, acordes con basilea ii.
Tesis doctoral de Fernando Mallo Fernandez En este trabajo se introducen los modelos logísticos lineales híbridos de expansiones lineales por
Matrices cocíclicas de hadamard sobre el grupo z_t x z_2^2. descripción, clasificación y búsqueda
Tesis doctoral de María Belén GÁ¼emes Alzaga Matrices cocíclicas de hadamard sobre el grupo z_t x z_2^2. Descripción, clasificación y
Modelos armónicos no lineales para series temporales geodéticas/non-linear harmonic analysis for geodetic time series
Tesis doctoral de Pedro Antonio Martínez Ortiz El trabajo de investigación aborda el desarrollo de nuevos métodos y software para
Algunos problemas de la teoria geometrica en funciones en superficies de klein
Tesis doctoral de Angel Jose Alonso Gomez Se estudian, en esta memoria, ciertas cuestiones relativas a la teoría de las
Utilización de método geométrico lineal (mgl) para la resolución de problemas de álgebra elemental
Tesis doctoral de María Victoria Martínez Videla Isbn:? 9788469457450 Datos académicos de la tesis doctoral «Utilización de método geométrico
Sobre el problema de nash para superficies cociente.(on nash problem for quotient surface singularities).
Tesis doctoral de María Pe Pereira En esta tesis se demuestra la biyectividad de la aplicación de nash para singularidades