Modelado y soporte al proceso de desarrollo software con tecnicas de descripcion formal (fdt).
Tesis doctoral de Yelmo Garcia Juan Carlos Esta tesis aborda algunos de los retos impuestos por el despliegue de nuevos […]
Tesis doctoral sobre Matemáticas
Accede a todas las tesis doctorales sobre Matemáticas mas relevantes.
Una extension del lamda-calculo para la modelizacion de procesos concurrentes.
Tesis doctoral de Oliver Villarroya Francisco Javier El -calculo es una teoria sin tipos que interpreta las funciones como reglas,
Implementacion eficiente de la recursividad final en lenguajes imperativos basada en nuevas tecnicas de compilacion.
Tesis doctoral de Diaz Labrador Jesús Luis El trabajo propone una implementacion eficiente de los programas recursivos finales en lenguajes
Series aleatorias en espacios de banach y operadores sumantes.
Tesis doctoral de Ricardo Vidal Vazquez Se definen propiedades de comparacion de series de variables aleatorias (s.V.A.) Del tipo donde
Topología de singularidades de hipersuperficies: numero de milnor e invariantes polares.
Tesis doctoral de Alejandro Melle Hernandez En esta memoria se obtienen formulas que relacionan el numero de milnor de un
Clases de modulos caracterizados por sus zocalos y aplicaciones a la clasificacion de anillos.
Tesis doctoral de Dolores Martin Barquero En esta tesis se aplica el concepto de clase zocalo fina al estudio y
Eliminacion de neville y analisis de error.
Tesis doctoral de Pedro Alonso Velázquez La eliminacion de neville es un procedimiento de eliminacion matricial alternativo a la gaussiana
Calculos funcionales y teoria espectral local.
Tesis doctoral de Bermudez De Leon Teresa De Jesús En esta memoria doctoral se desarrollan diferentes aspectos en relacion con
Sobre visibilidad en espacios n-dimensionales y superficies no planas.
Tesis doctoral de Cobos Gavala Francisco Javier Tres son los problemas fundamentales que presenta el estudio de los grafos de
Estudio sobre la comprension del concepto de numero cardinal de un conjunto infinito.
Tesis doctoral de María Del Carmen Penalva Martínez El estudio tiene como marco general el campo del desarrollo cognitivo y