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
: Theory of Computation
de
5 paginas
registros 51 al 100 de 216
Computational Science – ICCS 2018 : 18th International Conference, Proceedings, Part II
Autor/Editor:
Shi, Yong
Fu, Haohuan
Tian, Yingjie
Krzhizhanovskaya, Valeria V.
Lees, Michael Harold
Dongarra, Jack
Sloot, Peter M. A.
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-93701-4
+ info
Computer Games
Autor/Editor:
Cazenave, Tristan
Winands, Mark H.M.
Edelkamp, Stefan
Schiffel, Stephan
Thielscher, Michael
Togelius, Julian
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-39402-2
+ info
Computer Games
Autor/Editor:
Cazenave, Tristan
Winands, Mark H. M.
Edelkamp, Stefan
Schiffel, Stephan
Thielscher, Michael
Togelius, Julian
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-57969-6
+ info
Computer Games. Third Workshop on Computer Games, CGW 2014
Autor/Editor:
Cazenave, Tristan
Winands, Mark H. M.
Björnsson, Yngvi
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-14923-3
+ info
Computer Games. Workshop on Computer Games, CGW 2013
Autor/Editor:
Cazenave, Tristan
Winands, Mark H.M.
Iida, Hiroyuki
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-05428-5
+ info
Concurrent Programming: Algorithms, Principles, and Foundations
Autor/Editor:
Raynal, Michel
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-32027-9
+ info
Constraint Solving and Planning with Picat
Autor/Editor:
Zhou, Neng-Fa
Kjellerstrand, Håkan
Fruhman, Jonathan
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-25883-6
+ info
Creativity in Intelligent Technologies and Data Science
Autor/Editor:
Kravets, Alla
Shcherbakov, Maxim
Kultsova, Marina
Groumpos, Peter
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-65551-2
+ info
CryptoSchool
Autor/Editor:
Gathen, Joachim von zur
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-48425-8
+ info
Data Integration in the Life Sciences
Autor/Editor:
Silveira, Marcos Da
Pruski, Cédric
Schneider, Reinhard
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-69751-2
+ info
Decentralized Spatial Computing
Autor/Editor:
Duckham, Matt
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-30853-6
+ info
Decision Diagrams for Optimization
Autor/Editor:
Bergman, David
Cire, Andre A.
Hoeve, Willem-Jan van
Hooker, John
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-42849-9
+ info
Decision Procedures
Autor/Editor:
Kroening, Daniel
Strichman, Ofer
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-50497-0
+ info
Declarative Programming and Knowledge Management
Autor/Editor:
Hanus, Michael
Rocha, Ricardo
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-08909-6
+ info
Designing the Digital Transformation
Autor/Editor:
Maedche, Alexander
Brocke, Jan vom
Hevner, Alan
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-59144-5
+ info
Discrete and Topological Models in Molecular Biology
Autor/Editor:
Jonoska, Nataša
Saito, Masahico
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-40193-0
+ info
Distributed Algorithms for Message-Passing Systems
Autor/Editor:
Raynal, Michel
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-38123-2
+ info
Emerging Research in Artificial Intelligence and Computational Intelligence
Autor/Editor:
Lei, Jingsheng
Wang, Fu Lee
Deng, Hepu
Miao, Duoqian
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-34240-0
+ info
Encyclopedia of Algorithms
Autor/Editor:
Kao, Ming-Yang
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-1-4939-2864-4
+ info
Energy Time Series Forecasting
Autor/Editor:
Dannecker, Lars
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-658-11039-0
+ info
Evolutionary Computer Vision
Autor/Editor:
Olague, Gustavo
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-43693-6
+ info
Fault-Tolerant Message-Passing Distributed Systems
Autor/Editor:
Raynal, Michel
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-94141-7
+ info
Fault-Tolerant Search Algorithms
Autor/Editor:
Cicalese, Ferdinando
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-17327-1
+ info
Field-Coupled Nanocomputing
Autor/Editor:
Anderson, Neal G.
Bhanja, Sanjukta
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-43722-3
+ info
Finitely Supported Mathematics
Autor/Editor:
Alexandru, Andrei
Ciobanu, Gabriel
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-42282-4
+ info
Foraging-Inspired Optimisation Algorithms
Autor/Editor:
Brabazon, Anthony
McGarraghy, Seán
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-59156-8
+ info
Formal Methods
Autor/Editor:
Havelund, Klaus
Peleska, Jan
Roscoe, Bill
Vink, Erik de
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-95582-7
+ info
Formal Methods for Executable Software Models
Autor/Editor:
Bernardo, Marco
Damiani, Ferruccio
Hähnle, Reiner
Johnsen, Einar Broch
Schaefer, Ina
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-07317-0
+ info
Formal Methods for Industrial Critical Systems
Autor/Editor:
Howar, Falk
Barnat, JiÅ™Ã
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-00244-2
+ info
Formal Methods: Foundations and Applications
Autor/Editor:
Cavalheiro, Simone
Fiadeiro, José
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-70848-5
+ info
Foundations of Intelligent Systems
Autor/Editor:
Kryszkiewicz, Marzena
Appice, Annalisa
Ślęzak, Dominik
Rybinski, Henryk
Skowron, Andrzej
RaÅ›, Zbigniew W.
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-60438-1
+ info
Foundations of Security Analysis and Design VII
Autor/Editor:
Aldini, Alessandro
Lopez, Javier
Martinelli, Fabio
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-10082-1
+ info
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management
Autor/Editor:
Snoeyink, Jack
Lu, Pinyan
Su, Kaile
Wang, Lusheng
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-29700-7
+ info
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management
Autor/Editor:
Fellows, Michael
Tan, Xuehou
Zhu, Binhai
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-38756-2
+ info
Fundamental Approaches to Software Engineering
Autor/Editor:
Russo, Alessandra
Schürr, Andy
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-89363-1
+ info
Fundamentals of Computation Theory
Autor/Editor:
GÄ…sieniec, Leszek
Wolter, Frank
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-40164-0
+ info
Genetic Programming Theory and Practice X
Autor/Editor:
Riolo, Rick
Vladislavleva, Ekaterina
Ritchie, Marylyn D., Moore, Jason H.
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-1-4614-6846-2
+ info
Genetic Programming Theory and Practice XI
Autor/Editor:
Riolo, Rick
Moore, Jason H.
Kotanchek, Mark
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-1-4939-0375-7
+ info
Graph and Model Transformation
Autor/Editor:
Ehrig, Hartmut
Ermel, Claudia
Golas, Ulrike
Hermann, Frank
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-47980-3
+ info
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 Natural Computing
Autor/Editor:
Rozenberg, Grzegorz
Bäck, Thomas
Kok, Joost N.
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-540-92910-9
+ info
Handbook of Parallel Constraint Reasoning
Autor/Editor:
Hamadi, Youssef
Sais, Lakhdar
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-63516-3
+ info
High Performance Computing
Autor/Editor:
Kunkel, Julian M.
Ludwig, Thomas
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-20119-1
+ 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. 31st International Conference, ISC High Performance 2016, Proceedings
Autor/Editor:
Kunkel, Julian M.
Balaji, Pavan
Dongarra, Jack
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-41321-1
+ info
High Performance Computing. 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18–22, 2017, Proceedings
Autor/Editor:
Kunkel, Julian M.
Yokota, Rio
Balaji, Pavan
Keyes, David
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-58667-0
+ info
High Performance Computing. ISC High Performance 2016 International Workshops, Revised Selected Papers
Autor/Editor:
Taufer, Michela
Mohr, Bernd
Kunkel, Julian M.
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-46079-6
+ info
Higher-Order Computability
Autor/Editor:
Longley, John
Normann, Dag
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-47992-6
+ 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
de
5 paginas
registros 51 al 100 de 216