Busquedas:
- Autor/Editor: Lupacchini, Rossella
- Autor/Editor: Raghunath, Nambiar
- Autor/Editor: Wagner, Dorothea
- Autor/Editor: Deng, Der-Jiunn
- Autor/Editor: Voyiadjis, George Z.
- Autor/Editor: Eleftherakis, George
- Autor/Editor: Gromiha, M. Michael
- Autor/Editor: Mitchell, Paul Daniel
- Autor/Editor: Minin, Igor V.
- Autor/Editor: Neven, Gregory
- Autor/Editor: Krawczyk, Hugo
- Autor/Editor: Franke, Björn
- Autor/Editor: Otung, Ifiok
- Autor/Editor: Jedwab, Jonathan
- Autor/Editor: Schuster, Alfons Josef
- Autor/Editor: Schmidt, Kai-Uwe
- Autor/Editor: Hu, Yim Fun
- Autor/Editor: Kaafar, Mohamed Ali
- Autor/Editor: Mohan, Chilukuri K.
- Autor/Editor: Pearce, David
- Autor/Editor: Chen, Xu
- Autor/Editor: Kannan, Rajkumar
- Autor/Editor: Bonifaci, Vincenzo
- Autor/Editor: Claypool, Mark
- Autor/Editor: Seceleanu, Cristina
- Autor/Editor: Menezes, Alfred
- Autor/Editor: Laurent, Mercier- Eunika
- Autor/Editor: Fernández-Baca, David
- Autor/Editor: Nipkow, Tobias
- Autor/Editor: Flammini, Francesco
1/1
Computer Aided Verification. 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Autor/Editor: Majumdar, Rupak - KunÄak, Viktor
Año de edición: 2017
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Logics and Meanings of Programs - Software Engineering - Simulation and Modeling - The Computing Profession - System Performance and Evaluation - Artificial Intelligence (incl. Robotics)
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 10426
Tipo de documento: Reunión
Edición: 1st ed. 2017
Editor: Springer International Publishing
ISBN-e: 978-3-319-63387-9
ISSN-e: 1611-3349