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
: Polar Geography
Autor/Editor
: Dongarra, Jack J.
Autor/Editor
: Guerber, Christophe
Autor/Editor
: Laskey, Kenneth J.
Autor/Editor
: Deng, Robert
Keyword
: Planetology
Keyword
: Theory of Computation
de
3 paginas
registros 1 al 100 de 216
Advances in Applied Self-Organizing Systems
Autor/Editor:
Prokopenko, Mikhail
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-1-4471-5113-5
+ info
Advances in Artificial Life, Evolutionary Computation and Systems Chemistry
Autor/Editor:
Rossi, Federico
Mavelli, Fabio
Stano, Pasquale
Caivano, Danilo
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-32695-5
+ info
Advances in Computational Intelligence. 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part I
Autor/Editor:
Rojas, Ignacio
Joya, Gonzalo
Catala, Andreu
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-59153-7
+ info
Advances in Computational Intelligence. 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part II
Autor/Editor:
Rojas, Ignacio
Joya, Gonzalo
Catala, Andreu
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-59147-6
+ info
Advances in Cryptology -- ASIACRYPT 2015
Autor/Editor:
Iwata, Tetsu
Cheon, Jung Hee
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-48797-6
+ info
Advances in Cryptology – ASIACRYPT 2014. Proceedings, Part I
Autor/Editor:
Iwata, Tetsu
Sarkar, Palash
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-45611-8
+ info
Advances in Cryptology – ASIACRYPT 2014. Proceedings, Part II
Autor/Editor:
Iwata, Tetsu
Sarkar, Palash
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-45608-8
+ info
Advances in Cryptology – ASIACRYPT 2015
Autor/Editor:
Iwata, Tetsu
Cheon, Jung Hee
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-48800-3
+ info
Advances in Cryptology – ASIACRYPT 2016. 22nd International Conference on the Theory and Application of Cryptology and Information Security, Proceedings, Part I
Autor/Editor:
Cheon, Jung Hee
Takagi, Tsuyoshi
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-53887-6
+ info
Advances in Cryptology – ASIACRYPT 2016. 22nd International Conference on the Theory and Application of Cryptology and Information Security, Proceedings, Part II
Autor/Editor:
Cheon, Jung Hee
Takagi, Tsuyoshi
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-53890-6
+ info
Advances in Cryptology – ASIACRYPT 2017. 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part I
Autor/Editor:
Takagi, Tsuyoshi
Peyrin, Thomas
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-70700-6
+ info
Advances in Cryptology – ASIACRYPT 2017. 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part II
Autor/Editor:
Takagi, Tsuyoshi
Peyrin, Thomas
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-70694-8
+ info
Advances in Cryptology – ASIACRYPT 2017. 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part III
Autor/Editor:
Takagi, Tsuyoshi
Peyrin, Thomas
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-70697-9
+ info
Adventures Between Lower Bounds and Higher Altitudes
Autor/Editor:
Böckenhauer, Hans-Joachim
Komm, Dennis
Unger, Walter
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-98355-4
+ info
Adventures in Computer Science
Autor/Editor:
Moret-Bonillo, Vicente
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-64807-1
+ info
Agents and Artificial Intelligence
Autor/Editor:
Duval, Béatrice
Herik, Jaap van den
Loiseau, Stephane
Filipe, Joaquim
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-27947-3
+ info
Algebra and Coalgebra in Computer Science
Autor/Editor:
Heckel, Reiko
Milius, Stefan
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-40206-7
+ info
Algorithmic Learning Theory
Autor/Editor:
Chaudhuri, Kamalika
Gentile, Claudio
Zilles, Sandra
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-24486-0
+ info
Algorithmic Learning Theory
Autor/Editor:
Auer, Peter
Clark, Alexander
Zeugmann, Thomas
Zilles, Sandra
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-11662-4
+ info
Algorithmic Learning Theory
Autor/Editor:
Ortner, Ronald
Simon, Hans Ulrich
Zilles, Sandra
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-46379-7
+ info
An Introduction to Metaheuristics for Optimization
Autor/Editor:
Chopard, Bastien
Tomassini, Marco
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-93073-2
+ info
An Introduction to Online Computation
Autor/Editor:
Komm, Dennis
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-42749-2
+ info
An Introduction to Transfer Entropy
Autor/Editor:
Bossomaier, Terry
Barnett, Lionel
Harré, Michael
Lizier, Joseph T.
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-43222-9
+ info
Analyzing Evolutionary Algorithms
Autor/Editor:
Jansen, Thomas
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-17339-4
+ info
Applied Cryptography and Network Security
Autor/Editor:
Malkin, Tal
Kolesnikov, Vladimir
Lewko, Allison Bishop
Polychronakis, Michalis
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-28166-7
+ info
Applied Cryptography and Network Security
Autor/Editor:
Boureanu, Ioana
Owesarski, Philippe
Vaudenay, Serge
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-07536-5
+ info
Applied Cryptography and Network Security
Autor/Editor:
Manulis, Mark
Sadeghi, Ahmad-Reza
Schneider, Steve
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-39555-5
+ info
Augmented Marked Graphs
Autor/Editor:
Cheung, King Sing
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-06428-4
+ info
Automated Technology for Verification and Analysis
Autor/Editor:
D'Souza, Deepak
Kumar, K. Narayan
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-68167-2
+ info
Autonomous Agents and Multiagent Systems. AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers
Autor/Editor:
Sukthankar, Gita
Rodriguez-Aguilar, Juan A.
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-71682-4
+ info
Autonomous Search
Autor/Editor:
Hamadi, Youssef
Monfroy, Eric
Saubion, Frédéric
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-21434-9
+ info
Behavior Modeling -- Foundations and Applications
Autor/Editor:
Roubtsova, Ella
McNeile, Ashley
Kindler, Ekkart
Gerth, Christian
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-21912-7
+ info
Biomimetic and Biohybrid Systems
Autor/Editor:
Wilson, Stuart P.
Verschure, Paul F.M.J.
Mura, Anna
Prescott, Tony J.
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-22979-9
+ info
Biomimetic and Biohybrid Systems
Autor/Editor:
Duff, Armin
Lepora, Nathan F.
Mura, Anna
Prescott, Tony J.
Verschure, Paul F. M. J.
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-09435-9
+ info
Biomimetic and Biohybrid Systems
Autor/Editor:
Lepora, Nathan F.
Mura, Anna
Mangan, Michael
Verschure, Paul F.M.J.
Desmulliez, Marc
Prescott, Tony J.
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-42417-0
+ info
Biomimetic and Biohybrid Systems
Autor/Editor:
Mangan, Michael
Cutkosky, Mark
Mura, Anna
Verschure, Paul F. M. J.
Prescott, Tony
Lepora, Nathan
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-63537-8
+ info
Bridging Constraint Satisfaction and Boolean Satisfiability
Autor/Editor:
Petke, Justyna
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-21810-6
+ info
Carl Adam Petri
Autor/Editor:
Smith, Einar
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-48093-9
+ info
Combinatorial Search: From Algorithms to Systems
Autor/Editor:
Hamadi, Youssef
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-41482-4
+ info
Combinatorics on Words
Autor/Editor:
Manea, Florin
Nowotka, Dirk
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-23660-5
+ info
Combinatorics on Words
Autor/Editor:
Karhumäki, Juhani
Lepistö, Arto
Zamboni, Luca
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-40579-2
+ info
Complex Sciences
Autor/Editor:
Glass, Kristin
Colbaugh, Richard
Ormerod, Paul
Tsao, Jeffrey
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-03473-7
+ info
Computation, Physics and Beyond
Autor/Editor:
Dinneen, Michael J.
Khoussainov, Bakhadyr
Nies, André
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-27654-5
+ info
Computational Artifacts
Autor/Editor:
Turner, Raymond
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-662-55565-1
+ info
Computational Complexity
Autor/Editor:
Meyers, Robert A.
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-1-4614-1800-9
+ info
Computational Intelligence and Intelligent Systems
Autor/Editor:
Li, Zhenhua
Li, Xiang
Liu, Yong
Cai, Zhihua
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-34289-9
+ info
Computational Intelligence for Network Structure Analytics
Autor/Editor:
Gong, Maoguo
Cai, Qing
Ma, Lijia
Wang, Shanfeng
Lei, Yu
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-981-10-4558-5
+ info
Computational Matter
Autor/Editor:
Stepney, Susan
Rasmussen, Steen
Amos, Martyn
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-65826-1
+ info
Computational Science – ICCS 2018
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-93713-7
+ info
Computational Science – ICCS 2018 : 18th International Conference, Proceedings, Part I
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-93698-7
+ info
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
3 paginas
registros 1 al 100 de 216