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
: Deng, Qingxu
Keyword
: Quantum Information Technology
Autor/Editor
: Ramanujam, R.
Autor/Editor
: Roelofsen, Floris
Autor/Editor
: Fiedrich, Frank
Autor/Editor
: Neri Serneri, Simone
Autor/Editor
: Forrestal, Valerie
Autor/Editor
: Patel, Ketan
Autor/Editor
: Au, Man-Ho
Autor/Editor
: Foley, Simon
Autor/Editor
: Bovero, Michelangelo
Autor/Editor
: Wang, Ji
Autor/Editor
: Wimmer, Maria A.
Autor/Editor
: Padovani, Luca
Autor/Editor
: Fidopiastis, Cali M.
Autor/Editor
: Nordio, Martin
registros 1 al 3 de 3
Empirical Software Engineering and Verification
Autor/Editor:
Meyer, Bertrand
Nordio, Martin
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-25231-0
+ info
Software Engineering
Autor/Editor:
Meyer, Bertrand
Nordio, Martin
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-28406-4
+ info
Tools for Practical Software Verification
Autor/Editor:
Meyer, Bertrand
Nordio, Martin
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-35746-6
+ info
registros 1 al 3 de 3