Publicaciones: Otros
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 |
