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:
Autor/Editor
: Kneusel, Ronald T.
Autor/Editor
: McClure, Mark W.
Autor/Editor
: Zhang, Dongsong
Autor/Editor
: Crosta, Giovanni B.
Autor/Editor
: Agosti, Maristella
Autor/Editor
: Adams, Andrew A.
Autor/Editor
: Ogawa, Mizuhito
Autor/Editor
: Festa, Paola
Autor/Editor
: Hawkins, Anthony D.
Autor/Editor
: Mendes, Armando B.
Autor/Editor
: Spaink, H.P.
Autor/Editor
: Miall, Andrew D.
Autor/Editor
: Trippe, Anthony J.
Autor/Editor
: Rocca, Maximiliano C. L.
Autor/Editor
: Carvalho, André C. P. L. F.
Autor/Editor
: Henzinger, Thomas A.
registros 1 al 3 de 3
Computational Methods in Systems Biology
Autor/Editor:
Gupta, Ashutosh
Henzinger, Thomas A.
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-40708-6
+ info
Handbook of Model Checking
Autor/Editor:
Clarke, Edmund M.
Henzinger, Thomas A.
Veith, Helmut
Bloem, Roderick
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-10575-8
+ info
Mathematical and Engineering Methods in Computer Science
Autor/Editor:
KuÄera, AntonÃn
Henzinger, Thomas A.
Nešetřil, Jaroslav
Vojnar, Tomáš
Antoš, David
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-36046-6
+ info
registros 1 al 3 de 3