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
: Chen, Xiaofeng
Autor/Editor
: Jeng, Dong-Sheng
Autor/Editor
: Brinkkemper, Sjaak
Autor/Editor
: Kämpf, Jochen
Autor/Editor
: Mueller, Peter
Autor/Editor
: Anjorin, Anthony
Autor/Editor
: Idoumghar, Lhassane
Autor/Editor
: Naidoo, Suvania
Autor/Editor
: Chaudhuri, Swarat
Autor/Editor
: Cornelis, Chris
Autor/Editor
: Loos, Peter
Autor/Editor
: Loczy, Denes
Autor/Editor
: Cecchi, Guillermo
Autor/Editor
: Becker, Jürgen
Autor/Editor
: Schug, Gwen Robbins
Autor/Editor
: Bereković, Mladen
Autor/Editor
: Padgham, Lin
Autor/Editor
: Sharples, Mike
Autor/Editor
: Clauss, Carsten
Autor/Editor
: Borges de Lima, Ismar
Autor/Editor
: Scheidegger, Carlos
Autor/Editor
: Cuervo, Eduardo
Autor/Editor
: Strichman, Ofer
registros 1 al 3 de 3
Decision Procedures
Autor/Editor:
Kroening, Daniel
Strichman, Ofer
Año de edición:
2008
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-540-74105-3
+ info
Decision Procedures
Autor/Editor:
Kroening, Daniel
Strichman, Ofer
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-50497-0
+ info
Hardware and Software: Verification and Testing
Autor/Editor:
Strichman, Ofer
Tzoref-Brill, Rachel
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-70389-3
+ info
registros 1 al 3 de 3