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:
Keyword
: Statistics for Engineering
Autor/Editor
: Sun, Yifeng
Autor/Editor
: Bronstein, Michael M.
Autor/Editor
: Lepetit, Vincent
Autor/Editor
: Bilitewski, Bernd
Autor/Editor
: Vacareanu, Radu
Autor/Editor
: Wang, Fei
Autor/Editor
: Ramkumar, Mu.
Autor/Editor
: Castet, Julien
Autor/Editor
: Bremner, Paul
Autor/Editor
: Zhou, Hui
Autor/Editor
: Reed, Chris
Autor/Editor
: Lefebvre, Gilles
Autor/Editor
: Aa, Han van der
Autor/Editor
: Novas, Fernando E.
Autor/Editor
: Anders, Gerrit
Autor/Editor
: Li, XiangYang
Autor/Editor
: Giaffreda, Raffaele
Autor/Editor
: Torunsky, Nathan
Autor/Editor
: Gilardoni, Andrea
Autor/Editor
: Zittartz, J.
Autor/Editor
: Zhao, Liang
Autor/Editor
: Evans, Martin
Autor/Editor
: Numao, Masayuki
Autor/Editor
: Leimeister, Jan Marco
Autor/Editor
: Sunderraman, Raj
Autor/Editor
: Kolinski, Adam
Autor/Editor
: Yang, Qi
Autor/Editor
: Nilsson, Daniel
Autor/Editor
: Beckert, Bernhard
registros 1 al 4 de 4
Deductive Software Verification – The KeY Book
Autor/Editor:
Ahrendt, Wolfgang
Beckert, Bernhard
Bubel, Richard
Hähnle, Reiner
Schmitt, Peter H.
Ulbrich, Mattias
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-49812-6
+ info
Formal Methods for Components and Objects
Autor/Editor:
Beckert, Bernhard
Damiani, Ferruccio
Boer, Frank S.
Bonsangue, Marcello M.
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-35887-6
+ info
Formal Verification of Object-Oriented Software
Autor/Editor:
Beckert, Bernhard
Damiani, Ferruccio
Gurov, Dilian
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-31762-0
+ info
Tests and Proofs
Autor/Editor:
Beckert, Bernhard
Hähnle, Reiner
Año de edición:
2008
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-540-79124-9
+ info
registros 1 al 4 de 4