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
: Metrangolo, P.
Autor/Editor
: Mundy, Karen
Autor/Editor
: König, Martin
Autor/Editor
: Rozanov, Alexey
Autor/Editor
: Doerr, Joerg
Autor/Editor
: Simpson, Ivor
Autor/Editor
: Pop, Virgiliu
Autor/Editor
: Janusz, Andrzej
Autor/Editor
: Hostert, Patrick
Autor/Editor
: Martin, Hervé
Keyword
: Entomology
Autor/Editor
: Koeppl, Heinz
Autor/Editor
: Azim, Tayyaba
Autor/Editor
: Lenssen, Gilbert
Autor/Editor
: Simpson, Richard
Autor/Editor
: Tickell, Adam
Autor/Editor
: Maxon, Elizabeth
Autor/Editor
: Seneviratne, Gamini
Autor/Editor
: Curran, Mary Ann
Autor/Editor
: Steinhauser, Martin Oliver
Autor/Editor
: Romanovsky, Alexander
Keyword
: Science Education
Autor/Editor
: Scholz, Erhard
Autor/Editor
: Ooi, Wei Tsang
Autor/Editor
: Dutta, Mohan Jyoti
Autor/Editor
: Theng, Yin-Leng
Autor/Editor
: Tuunanen, Tuure
Autor/Editor
: Lin, Dekang
Autor/Editor
: Vidal, María-Esther
Autor/Editor
: Furia, Carlo A.
registros 1 al 4 de 4
Integrated Formal Methods
Autor/Editor:
Furia, Carlo A.
Winter, Kirsten
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-98938-9
+ info
Modeling Time in Computing
Autor/Editor:
Furia, Carlo A.
Mandrioli, Dino
Morzenti, Angelo
Rossi, Matteo
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-32332-4
+ info
Objects, Models, Components, Patterns
Autor/Editor:
Furia, Carlo A.
Nanz, Sebastian
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-30561-0
+ info
Tests and Proofs
Autor/Editor:
Aichernig, Bernhard K.
Furia, Carlo A.
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-41135-4
+ info
registros 1 al 4 de 4