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
: Kochan, Detlef
Autor/Editor
: Joly, Alexis
Autor/Editor
: Li, Sheng
Autor/Editor
: Wang, Bo
Autor/Editor
: Rekik, Islem
Autor/Editor
: Khalil, Ibrahim
Autor/Editor
: Gallivan, Kyle A.
Autor/Editor
: Hannigan, Robyn
Autor/Editor
: Spivakovsky, Aleksander
Keyword
: Science
Autor/Editor
: Iida, Hiroyuki
Autor/Editor
: Sakellariou, Dimitris
Autor/Editor
: Nader, Laura
Autor/Editor
: Demers, Denis
Autor/Editor
: Plomp, Tjeerd
Autor/Editor
: McCurdy, Iain
Autor/Editor
: Pinger, Ralf
registros 1 al 2 de 2
Formal Methods for Industrial Critical Systems
Autor/Editor:
Stoelinga, Mariëlle
Pinger, Ralf
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-32469-7
+ info
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Autor/Editor:
Lecomte, Thierry
Pinger, Ralf
Romanovsky, Alexander
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-33951-1
+ info
registros 1 al 2 de 2