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
: Leather, Carol
Autor/Editor
: Grosse-Wentrup, Moritz
Autor/Editor
: Marin, Andrea
Autor/Editor
: Telang, Aaditya
Autor/Editor
: Andrusz, Gregory
Autor/Editor
: Ioini, Nabil
Autor/Editor
: Giustolisi, Orazio
Autor/Editor
: Wamala, Sarah
Autor/Editor
: Fung, Pascale
Autor/Editor
: Kokhanovsky, Alexander
Autor/Editor
: Delic, Vlado
Autor/Editor
: Bhaskar, Katari
Autor/Editor
: Corral, Luis
Autor/Editor
: Wijesundera, Isuri
Autor/Editor
: Solimini, Domenico
Autor/Editor
: Del Val, Elena
Autor/Editor
: Struzik, Edward
Autor/Editor
: Badouel, Eric
Autor/Editor
: Green, Daniel M.
Autor/Editor
: Clark, Robert M.
Autor/Editor
: Bouillon, Pierrette
Autor/Editor
: Gamboa, Hugo
Autor/Editor
: Burmester, Mike
Autor/Editor
: Desai, Narayan
Autor/Editor
: Broccolo, Francesco
Autor/Editor
: Toussaint, Yannick
Autor/Editor
: Willingham, Daniel T.
Keyword
: Industrial and Production Engineering
Autor/Editor
: Berger, Philipp
Autor/Editor
: Lecomte, Thierry
registros 1 al 3 de 3
Formal Methods: Foundations and Applications. 19th Brazilian Symposium, SBMF 2016, Proceedings
Autor/Editor:
Ribeiro, Leila
Lecomte, Thierry
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-49815-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
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Autor/Editor:
Fantechi, Alessandro
Lecomte, Thierry
Romanovsky, Alexander
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-68499-4
+ info
registros 1 al 3 de 3