Publicaciones: Otros Trabajos

Modificado el 4 de Diciembre de 2016
These icons link to social bookmarking sites where readers can share and discover new web pages.
  • BarraPunto
  • Del.icio.us
  • Digg
  • email
  • Facebook
  • Google
  • LinkedIn
  • PDF
  • Reddit
  • Slashdot
  • Twitter

Sobre el Problema de Banach-Ruziewicz

Autor Fernando Sancho Caparrini
Director Juan Arias de Reyna
Clasificación Tesina
Fecha Septiembre, 1996

Resolución y verificación de problemas numéricos NP-completos en modelos moleculares basados en ADN

Autor Fernando Sancho Caparrini 
Director Mario de J. Pérez Jiménez 
Clasificación Trabajo de Investigación, Trabajos de Lógica y Computación (sección III) 
Fecha Diciembre, 2001 

Verificación de programas en modelos de computación no convencionales

Autor Fernando Sancho Caparrini 
Director Mario de J. Pérez Jiménez 
Clasificación Tesis Doctoral 
Fecha Junio 2002 

Especificación y Verificación de Programas Moleculares en PVS

Autor M. Carmen Graciani Díaz 
Director Mario de J. Pérez Jiménez, Fernando Sancho Caparrini 
Clasificación Tesis Doctoral 
Fecha Septiembre 2003