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
: Scheideler, Christian
Autor/Editor
: Kuo, C.-C. Jay
Autor/Editor
: Cîrstea, Corina
Autor/Editor
: Weller, René
Autor/Editor
: Villavicencio, Aline
Autor/Editor
: Yu, Tina
Autor/Editor
: Wagner, Dorothea
Autor/Editor
: Lambert, Karel
Autor/Editor
: Tresp, Volker
Autor/Editor
: Mitchell, Paul Daniel
Autor/Editor
: Bae, Joonsoo
Autor/Editor
: Deng, Der-Jiunn
Autor/Editor
: Eleftherakis, George
Autor/Editor
: Stone, John David
Autor/Editor
: Cavalcanti, Ana
registros 1 al 1 de 1
Critical Systems: Formal Methods and Automated Verification
Autor/Editor:
Petrucci, Laure
Seceleanu, Cristina
Cavalcanti, Ana
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-67113-0
+ info
registros 1 al 1 de 1