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
: Haridi, Seif
Autor/Editor
: Dighton, John
Autor/Editor
: Gram, Christian
Autor/Editor
: Choi, Insook
Autor/Editor
: Kern, Robert
Autor/Editor
: Nunes, Eric
Autor/Editor
: Cho, Wooje
Autor/Editor
: An, Yuan
Autor/Editor
: Liu, Xingang
Autor/Editor
: Kelly, Suzanne M.
Autor/Editor
: Schaumont, Patrick
Autor/Editor
: Tammaru, Tiit
Autor/Editor
: Prince, Jerry L.
Keyword
: Environmental Science and Engineering
Autor/Editor
: Boucheneb, Hanifa
Autor/Editor
: Pan, Yi
Autor/Editor
: Sengupta, Manjistha
Autor/Editor
: Song, Tao
Autor/Editor
: Eulenstein, Frank
Autor/Editor
: Chicharo, Luis
Autor/Editor
: Bosilca, George
Autor/Editor
: Giraudo, Samuele
Autor/Editor
: Li, Frederick W.B.
Autor/Editor
: Meneses, Claudio
Autor/Editor
: Weil, Pascal
Autor/Editor
: Kulak, Daryl
Autor/Editor
: Dobson, Amy Shields
Autor/Editor
: Sarat, Austin
Autor/Editor
: Stephen, Lynn
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