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
: Wilson, Dean
Autor/Editor
: Hannigan, Robyn
Autor/Editor
: Kotzinos, Dimitrios
Autor/Editor
: Dugdale, Julie
Autor/Editor
: Seitz, Florian
Autor/Editor
: Fleuriot, Jacques
Autor/Editor
: kato, Hirokazu
Autor/Editor
: Delli Gatti, Domenico
Autor/Editor
: Seggiaro, Luis A.
Autor/Editor
: Colombi, Benedict
Autor/Editor
: Wohl, Ellen
Autor/Editor
: David, Nuno
Autor/Editor
: Johnson, Colin
Autor/Editor
: Zweig, Katharina
Autor/Editor
: Badin, Gualtiero
Autor/Editor
: Gallardo-Valencia, Rosalva E.
Autor/Editor
: Kotzinos, Dimitris
Autor/Editor
: Crowcroft, Jon
Autor/Editor
: Pecher, Ingo
Autor/Editor
: Ma, Xiaoyan
Autor/Editor
: Harrison, R. G.
Autor/Editor
: Nurminski, Evgeni
Autor/Editor
: Ayesh, Aladdin
Autor/Editor
: Teichmann, Sarah
Autor/Editor
: Luo, Zhiyuan
Autor/Editor
: Spaink, H.P.
Autor/Editor
: Allison, Lloyd
Autor/Editor
: Bell, Scott
Autor/Editor
: Doyle, Declan
Autor/Editor
: Lal, Akash
registros 1 al 1 de 1
Verification, Model Checking, and Abstract Interpretation
Autor/Editor:
D’Souza, Deepak
Lal, Akash
Larsen, Kim Guldstrand
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-46081-8
+ info
registros 1 al 1 de 1