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
: Marichal, G. Nicolás
Autor/Editor
: Fiadeiro, José
Autor/Editor
: Reis, Luis Paulo
Autor/Editor
: Mossakowski, Till
Autor/Editor
: Du, Junping
Autor/Editor
: Duckham, Matt
Autor/Editor
: Kipfstuhl, Sepp
Autor/Editor
: Chakraverty, Snehashish
Autor/Editor
: Hartig, Olaf
Autor/Editor
: Wiil, Uffe Kock
Autor/Editor
: Aliev, Rafik Aziz
Autor/Editor
: Trevisan, Luca
Autor/Editor
: Ciravegna, Fabio
Autor/Editor
: Keppie, D. Fraser
Autor/Editor
: Alvarez, Sergio
Autor/Editor
: Ryu, Sukyoung
Autor/Editor
: El Rhalibi, Abdennour
Autor/Editor
: Al-Nemrat, Ameer
Autor/Editor
: Snoeyink, Jack
Autor/Editor
: Elkafrawy, Passent
Autor/Editor
: Zhao, Guolong
Autor/Editor
: Dutra, Inês
Autor/Editor
: Cazella, Silvio Cesar
Autor/Editor
: Bhuiyan, Zakirul Alam
Autor/Editor
: Toivanen, Pekka
Autor/Editor
: Caveen, Alex
Autor/Editor
: Flint, R. Warren
Autor/Editor
: Contractor, Noshir
Autor/Editor
: León, Raúl
Autor/Editor
: Howar, Falk
registros 1 al 1 de 1
Formal Methods for Industrial Critical Systems
Autor/Editor:
Howar, Falk
Barnat, JiÅ™Ã
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-00244-2
+ info
registros 1 al 1 de 1