Especificación y verificación de programas moleculares en pvs
Tesis doctoral de Graciani Díaz M. Carmen La computación molecular y, en concreto, la computación con adn, es una disciplina […]
Tesis doctoral de Pérez Jiménez Mario Jesús
Información academica Pérez Jiménez Mario Jesús. Tesis donde Pérez Jiménez Mario Jesús ha sido autor, director o parte del tribunal.
Complejidad y universalidad en modelos de computación celular
Tesis doctoral de álvaro Romero Jiménez La computación celular es una disciplina que se enmarca dentro del campo de investigación
Verificación de programas en modelos de computación no convencionales
Tesis doctoral de Fernando Sancho Caparrini La computación natural es una disciplina inspirada en el funcionamiento de los organismos vivos.