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
: Vince, John
Autor/Editor
: Biere, Armin
Autor/Editor
: Ramasubramanian, Laxmi
Autor/Editor
: Mitchell, Gina
Autor/Editor
: Simon, Julie
Autor/Editor
: Ho, Tu-Bao
Autor/Editor
: Stadel, Christoph
Autor/Editor
: Vieira, Marco
Autor/Editor
: Oktem, Onur
Autor/Editor
: Clark, Julie
Autor/Editor
: Dellaert, Frank
Autor/Editor
: Brocke, Jan
Autor/Editor
: Wang, Dangxiao
Autor/Editor
: Hung, Dang
Autor/Editor
: Xie, Gaodi
Autor/Editor
: Vicario, Enrico
registros 1 al 2 de 2
Formal Modeling and Analysis of Timed Systems
Autor/Editor:
Sankaranarayanan, Sriram
Vicario, Enrico
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-22975-1
+ info
New Frontiers in Quantitative Methods in Informatics
Autor/Editor:
Balsamo, Simonetta
Marin, Andrea
Vicario, Enrico
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-91632-3
+ info
registros 1 al 2 de 2