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
: Jeffries, Samantha
Autor/Editor
: Hintikka, Jaakko
Autor/Editor
: Skavhaug, Amund
Autor/Editor
: Moody, Sylvia
Autor/Editor
: McDowell, Linda
Autor/Editor
: Xie, Xiande
Autor/Editor
: Au, Man Ho
Autor/Editor
: Zhang, Min
Autor/Editor
: Steinwandt, Rainer
Autor/Editor
: Des Rosiers, François
Autor/Editor
: Lucks, Stefan
Autor/Editor
: Berkovsky, Shlomo
Autor/Editor
: Blanton, Richard
Autor/Editor
: Camara, Oscar
Autor/Editor
: Klein, Karsten
Autor/Editor
: Bruni, Roberto
Autor/Editor
: Aubry, Alexis
Autor/Editor
: Roy, Olivier
Autor/Editor
: Kaufmann, Paul
Autor/Editor
: Yao, Yimin
Autor/Editor
: Xie, Shengli
Autor/Editor
: Wood, Peter
Autor/Editor
: Henn, Sebastian
Autor/Editor
: Barba Maggi, Lida Mercedes
Autor/Editor
: Christofor, Julia
Autor/Editor
: Uehara, Ryuhei
Autor/Editor
: Christodoulou, George
Autor/Editor
: Lee, Xuhui
Autor/Editor
: Nittel, Silvia
Autor/Editor
: Biere, Armin
registros 1 al 2 de 2
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
Hardware and Software: Verification and Testing
Autor/Editor:
Biere, Armin
Nahir, Amir
Vos, Tanja
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-39611-3
+ info
registros 1 al 2 de 2