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
: Weber, Michael
Keyword
: Electronics and Microelectronics
Autor/Editor
: Coombs, W. Timothy
Keyword
: Electrochemistry
Autor/Editor
: Burte, Heather
Autor/Editor
: Boehm, Jan
Autor/Editor
: Ollus, Martin
Keyword
: Statistics for Engineering
Autor/Editor
: Lee, Doheon
Autor/Editor
: Reus, Bernhard
Autor/Editor
: Hasan, M. Anwar
Autor/Editor
: Schiebler, T. H.
Autor/Editor
: Fteimi, Nora
Autor/Editor
: Clark, Terry D.
Autor/Editor
: Ravi, R.
Autor/Editor
: Moore, Steven A.
Autor/Editor
: Foster, Shaun
Keyword
: Ecosystems
Keyword
: European Culture
Autor/Editor
: Liggett, Daniela
Autor/Editor
: Middleton, Hugh
Autor/Editor
: Moran, Alan
Autor/Editor
: Gupta, Ashish
Autor/Editor
: Torquati, Massimo
Autor/Editor
: Distante, Cosimo
Autor/Editor
: Murillo, Jesus
Autor/Editor
: Abad, Alberto
Autor/Editor
: Tampieri, Francesco
Autor/Editor
: Roberts, Jonathan C.
Autor/Editor
: Bloem, Roderick
registros 1 al 4 de 4
Computer Aided Verification
Autor/Editor:
Biere, Armin
Bloem, Roderick
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-08867-9
+ 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
Hardware and Software: Verification and Testing
Autor/Editor:
Bloem, Roderick
Arbel, Eli
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-49052-6
+ info
Trusted Systems
Autor/Editor:
Bloem, Roderick
Lipp, Peter
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-03491-1
+ info
registros 1 al 4 de 4