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
: Vojnar, Tomáš
Autor/Editor
: Gannot, Sharon
Autor/Editor
: Váša, Libor
Autor/Editor
: Imrie, Rob
Keyword
: Communication Studies
Keyword
: Biological Networks
Autor/Editor
: Delibašić, Boris
Keyword
: Interdisciplinary Studies
Autor/Editor
: Riis, Jesper
Autor/Editor
: Kitowski, Jacek
Autor/Editor
: Milutinović, Veljko
Autor/Editor
: Neubauer, Matthias
Autor/Editor
: Ismail, Muhammad
Autor/Editor
: NiÄković, Dejan
Autor/Editor
: Prałat, Paweł
Autor/Editor
: Boldini, Pascal
Autor/Editor
: Langlois, Patrice
Autor/Editor
: Tschannenâ€Moran, Bob
Autor/Editor
: Jain, Ramesh
Keyword
: Humanities
Autor/Editor
: Pych, Wojtek
Autor/Editor
: Traore, Issa
Autor/Editor
: Mayes, Robyn
Autor/Editor
: Addis, Tom
Keyword
: Adolescence and Society
Autor/Editor
: Smaill, Alan
Autor/Editor
: Noppeâ€Brandon, Scott
Autor/Editor
: Prabhakar, Pavithra
registros 1 al 2 de 2
Formal Modeling and Analysis of Timed Systems
Autor/Editor:
Jansen, David N.
Prabhakar, Pavithra
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-00151-3
+ info
Numerical Software Verification. 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Autor/Editor:
Bogomolov, Sergiy
Martel, Matthieu
Prabhakar, Pavithra
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-54292-8
+ info
registros 1 al 2 de 2