Buscar
Avanzada
Historial
Registros por pagina:
20
50
100
Buscar Por:
Título
Autor/Editor
Colección
Todas las colecciones
Antropología
Arquitectura y diseño
Astronomía y astrofísica
Bibliotecología y Ciencia de la Información
Ciencia Política
Ciencias agrarias
Ciencias de la tierra y del espacio
Ciencias de la vida
Ciencias de las Artes y de las Letras
Ciencias económicas
Ciencias jurídicas y Derecho
Ciencias médicas
Ciencias tecnológicas
Computación
Demografía
Ética
Filosofía
Física
Geografía
Historia
Ingeniería
Lingüística
Lógica
Matemáticas
Pedagogía
Psicología
Química
Sociología
Registros por pagina:
20
50
100
Busquedas:
Keyword
: Mathematical and Computational Biology
Autor/Editor
: Calori, Chris
Autor/Editor
: Hey, John D.
Autor/Editor
: Qin, Lu
Autor/Editor
: Hirschfeld, Robert
Autor/Editor
: Welty, Chris
Autor/Editor
: Domik, Gitta
Autor/Editor
: Koltsova, Olessia
Autor/Editor
: Snoeck, Monique
Autor/Editor
: Boctor, Emad
Autor/Editor
: Ballast, David Kent
Autor/Editor
: Spengel, Christoph
Autor/Editor
: Honsell, Furio
registros 1 al 1 de 1
Types for Proofs and Programs
Autor/Editor:
Miculan, Marino
Scagnetto, Ivan
Honsell, Furio
Año de edición:
2008
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-540-68103-8
+ info
registros 1 al 1 de 1