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
: Gaedke, Martin
Autor/Editor
: Liu, Derong
Autor/Editor
: Fedrizzi, Mario
Autor/Editor
: Liu, Hongqi
Autor/Editor
: Stathis, Kostas
Autor/Editor
: Bogdanov, Andrey
Autor/Editor
: Rayment, Matt
Autor/Editor
: Martin, Christophe
Autor/Editor
: Wallace, Manolis
Autor/Editor
: Pereira Dimuro, Graçaliz
Autor/Editor
: Bestavros, Azer
Autor/Editor
: López-de-Ipiña, Diego
Autor/Editor
: Jarke, Matthias
Autor/Editor
: Sichman, Jaime Simão
Autor/Editor
: Kostić, Nikola
Autor/Editor
: Conjeti, Sailesh
Autor/Editor
: Cass, Franck
registros 1 al 1 de 1
Formal Modeling and Analysis of Timed Systems
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
Cass, Franck
Año de edición:
2008
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-540-85778-5
+ info
registros 1 al 1 de 1