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
: Helfert, Markus
Autor/Editor
: Wrycza, Stanisław
Autor/Editor
: Ferro-Escobar, Roberto
Autor/Editor
: Mitsudera, Humio
Autor/Editor
: KlusáÄek, Dalibor
Autor/Editor
: Jacobs, Geert
Autor/Editor
: Jr., Maasch, Kirk Allen
Autor/Editor
: Kecskemeti,Gabor
Autor/Editor
: Xue, Bing
Autor/Editor
: Solano, Andrés
Autor/Editor
: Prakash, B. Aditya
Autor/Editor
: Słowiński, Roman
Keyword
: R
Autor/Editor
: Glowatz, Matthias
Autor/Editor
: Chakraborty, Supratik
registros 1 al 1 de 1
Automated Technology for Verification and Analysis
Autor/Editor:
Chakraborty, Supratik
Mukund, Madhavan
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-33386-6
+ info
registros 1 al 1 de 1