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
: Software Engineering/Programming and Operating Sys
de
13 paginas
registros 121 al 140 de 257
Handbook of Model Checking
Autor/Editor:
Clarke, Edmund M.
Henzinger, Thomas A.
Veith, Helmut
Bloem, Roderick
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-10575-8
+ info
Handbook of Neuroevolution Through Erlang
Autor/Editor:
Sher, Gene I.
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-1-4614-4463-3
+ info
High Performance Computing for Computational Science -- VECPAR 2014
Autor/Editor:
Daydé, Michel
Marques, Osni
Nakajima, Kengo
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-17353-5
+ info
High Performance Computing for Computational Science – VECPAR 2016
Autor/Editor:
Dutra, Inês
Camacho, Rui
Barbosa, Jorge
Marques, Osni
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-61982-8
+ info
High Performance Computing in Science and Engineering
Autor/Editor:
Kozubek, Tomáš
Blaheta, Radim
Å Ãstek, Jakub
RozložnÃk, Miroslav
Čermák, Martin
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-40361-8
+ info
History and Philosophy of Computing
Autor/Editor:
Gadducci, Fabio
Tavosanis, Mirko
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-47286-7
+ info
Human Aspects of Information Security, Privacy and Trust
Autor/Editor:
Tryfonas, Theo
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-58460-7
+ info
Human Centered Computing
Autor/Editor:
Zu, Qiaohong
Hu, Bo
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-74521-3
+ info
ICT as Key Technology against Global Warming
Autor/Editor:
Auweter, Axel
Kranzlmüller, Dieter
Tahamtan, Amirreza
Tjoa, A Min
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-32606-6
+ info
Implementation and Application of Automata
Autor/Editor:
Carayol, Arnaud
Nicaud, Cyril
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-60134-2
+ info
Industrial Applications of Holonic and Multi-Agent Systems
Autor/Editor:
MaÅ™Ãk, VladimÃr
Wahlster, Wolfgang
Strasser, Thomas
Kadera, Petr
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-64635-0
+ info
Industrial Deployment of System Engineering Methods
Autor/Editor:
Romanovsky, Alexander
Thomas, Martyn
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-33170-1
+ info
Informatics in Schools. Fundamentals of Computer Science and Software Engineering
Autor/Editor:
Pozdniakov, Sergei N.
DagienÄ—, Valentina
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-02750-6
+ info
Information and Communications Security : 20th International Conference, Proceedings
Autor/Editor:
Naccache, David
Xu, Shouhuai
Qing, Sihan
Samarati, Pierangela
Blanc, Gregory
Lu, Rongxing
Zhang, Zonghua
Meddahi, Ahmed
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-01950-1
+ info
Information Security Education – Towards a Cybersecure Society
Autor/Editor:
Drevin, Lynette
Theocharidou, Marianthi
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-99734-6
+ info
Information Systems Development
Autor/Editor:
Pooley, Rob
Coady, Jennifer
Schneider, Christoph
Linger, Henry
Barry, Chris
Lang, Michael
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-1-4614-4951-5
+ info
Information, Communication and Computing Technology
Autor/Editor:
Kaushik, Saroj
Gupta, Daya
Kharb, Latika
Chahal, Deepak
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-981-10-6544-6
+ info
Innovative Technologies for Dependable OTS-Based Critical Systems
Autor/Editor:
Cotroneo, Domenico
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-88-470-2772-5
+ info
Instruction Selection
Autor/Editor:
Hjort Blindell, Gabriel
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-34019-7
+ info
Intelligent Transport Systems – From Research and Development to the Market Uptake
Autor/Editor:
KováÄiková, Tatiana
Buzna, Ľuboš
Pourhashem, Ghadir
Lugano, Giuseppe
Cornet, Yannick
Lugano, Nathalie
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-93710-6
+ info
de
13 paginas
registros 121 al 140 de 257