E-Prints Complutense

G

Gómez Pulido, Juan Antonio (2002) Modelación y simulación orientadas a objeto de plantas de vapor. Tesis PhD.

I

Imaña Pascual, José Luis (2004) Aplicación de campos de Galois a la verificación probabilista de funciones booleanas y métodos de multiplicación sobre campos de extensión GF(2m). Tesis PhD.

M

Mendías Cuadros, José Manuel (2003) Síntesis formal de alto nivel por derivación automática : aspectos teóricos, metodológicos y prácticos. Tesis PhD.

Martínez Menendez, Agustín (2002) Desarrollo de un modelo asistido por ordenador para la automatización del cálculo de las principales características de un reactor en contracorriente para la reducción de menas de hierro. Tesis PhD.

Mendiz Noguero, Inés (2002) Un estudio sobre la aplicación del razonamiento basado en casos a la construcción de programas. Tesis PhD.

S

Santos Peñas, Matilde (2002) Contribución a los métodos de sintonía de los controladores basados en Lógica borrosa. Tesis PhD.

V

Vázquez Morcillo, Andrés (2002) Especificación, diseño, implementación y validación de diferentes estructuras de material informatizado para E.A.C. de la física mediante un entorno de autor mixto. Tesis PhD.