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
: Dhillon, Gurpreet Singh
Autor/Editor
: Chenin, Patrick
Autor/Editor
: Ferro-Escobar, Roberto
Autor/Editor
: Anjorin, Anthony
Autor/Editor
: Padgham, Lin
Autor/Editor
: Cire, Andre A.
Autor/Editor
: Kim, Cheonshik
Autor/Editor
: Loucopoulos, Pericles
Autor/Editor
: Vempaty, Aditya
Autor/Editor
: Chaudhuri, Swarat
registros 1 al 2 de 2
Computer Aided Verification. 28th International Conference, CAV 2016, Proceedings, Part I
Autor/Editor:
Chaudhuri, Swarat
Farzan, Azadeh
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-41528-4
+ info
Computer Aided Verification. 28th International Conference, CAV 2016, Proceedings, Part II
Autor/Editor:
Chaudhuri, Swarat
Farzan, Azadeh
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-41540-6
+ info
registros 1 al 2 de 2