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
: Wiek, Arnim
Autor/Editor
: ÅÄ™czyÅ„ski, Leszek
Autor/Editor
: Degrange, Federico
Autor/Editor
: Zaninetti, Jeanâ€Marc
Autor/Editor
: Awad, Ali Ismail
Autor/Editor
: Gritzalis, Dimitris
Autor/Editor
: Chen, Xinjian
Autor/Editor
: Hsu, Kuo-Lin
Autor/Editor
: Bäumer, Ulrich
Autor/Editor
: Cui, Bin
Autor/Editor
: Dascalu, Cristian
Autor/Editor
: Mitchell, Alex
Autor/Editor
: Guetl, Christian
Autor/Editor
: Jacobs, Colin
Autor/Editor
: Ouessar, Mohamed
Autor/Editor
: Harviainen, J. Tuomas
Autor/Editor
: Note, Nicole
Autor/Editor
: Andronache, Constantin
Autor/Editor
: Demri, Stéphane
Autor/Editor
: Yoshida, Tetsuya
Autor/Editor
: He, Yong
Keyword
: Geography
Autor/Editor
: Mishra, Abhijit
Autor/Editor
: Bjorlykke, Knut
Autor/Editor
: Duckham, Matt
Autor/Editor
: Kumar, Ajay
Autor/Editor
: Gonzalez-Perez, Cesar
Autor/Editor
: Uc-Cetina, Victor
Keyword
: Proteomics
Autor/Editor
: Tahar, Sofiène
registros 1 al 2 de 2
Theorem Proving in Higher Order Logics
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
Ait Mohamed, Otmane
Muñoz, César
Tahar, Sofiène
Año de edición:
2008
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-540-71067-7
+ info
Verification and Evaluation of Computer and Communication Systems
Autor/Editor:
Barkaoui, Kamel
Boucheneb, Hanifa
Mili, Ali
Tahar, Sofiène
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-66176-6
+ info
registros 1 al 2 de 2