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
: Patra, H. P.
Autor/Editor
: Molls, Michael
Autor/Editor
: Auler, Augusto S.
Autor/Editor
: Franchin, P.
Autor/Editor
: Érdi, P.
Autor/Editor
: Kasik, David
Autor/Editor
: Beck, J. Christopher
Autor/Editor
: Saffidine, Abdallah
Autor/Editor
: Hutter, Kolumban
Autor/Editor
: Alba, Enrique
Autor/Editor
: Jia, Jun
Autor/Editor
: Galushkin, Yurii
Autor/Editor
: Li, Tonglu
Autor/Editor
: Snethlage, Rolf
Autor/Editor
: Abbasi, S.A.
Autor/Editor
: Gaudio, R. P.
Autor/Editor
: Zschau, Jochen
Autor/Editor
: Yan, Song Y.
Autor/Editor
: Viola, Alfredo
Autor/Editor
: Philippou, Anna
Autor/Editor
: Chiozzi, Paolo
Autor/Editor
: Pfeiffer, Friedrich
Autor/Editor
: Yuen, David A.
Autor/Editor
: Anderson, Dennis
Autor/Editor
: Alguacil, Gerardo
Autor/Editor
: Fujii, K.
Autor/Editor
: Brammer, Angela
Autor/Editor
: Linder, Wilfried
Autor/Editor
: Giraudo, Samuele
Autor/Editor
: Leucker, Martin
registros 1 al 3 de 3
Runtime Verification
Autor/Editor:
Hutchison, David
Kanade, Takeo
Kittler, Josef
Kleinberg, Jon M.
Mattern, Friedemann
Mitchell, John C.
Naor, Moni
Nierstrasz, Oscar
Pandu Rangan, C.
Steffen, Bernhard
Sudan, Madhu
Terzopoulos, Demetri
Tygar, Doug
Vardi, Moshe Y.
Weikum, Gerhard
Leucker, Martin
Año de edición:
2008
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-540-89247-2
+ info
Runtime Verification
Autor/Editor:
Colombo, Christian
Leucker, Martin
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-03769-7
+ info
Theoretical Aspects of Computing - ICTAC 2015
Autor/Editor:
Leucker, Martin
Rueda, Camilo
Valencia, Frank D.
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-25150-9
+ info
registros 1 al 3 de 3