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
3 paginas
registros 101 al 200 de 216
Hybrid Metaheuristics : Powerful Tools for Optimization
Autor/Editor:
Blum, Christian
Raidl, Günther R.
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-30883-8
+ info
Hyper-Heuristics: Theory and Applications
Autor/Editor:
Pillay, Nelishia
Qu, Rong
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-96514-7
+ info
Integrated Formal Methods
Autor/Editor:
Polikarpova, Nadia
Schneider, Steve
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-66845-1
+ info
Intelligent Data Engineering and Automated Learning – IDEAL 2018 : Proceedings, Part I
Autor/Editor:
Yin, Hujun
Camacho, David
Novais, Paulo
Tallón-Ballesteros, Antonio J.
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-03493-1
+ info
Introduction to Concurrency Theory
Autor/Editor:
Gorrieri, Roberto
Versari, Cristian
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-21491-7
+ info
Introduction to Evolutionary Computing
Autor/Editor:
Eiben, A.E.
Smith, J.E.
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-44874-8
+ info
Introduction to Learning Classifier Systems
Autor/Editor:
Urbanowicz, Ryan J.
Browne, Will N.
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-55007-6
+ info
Knowledge Engineering and Knowledge Management
Autor/Editor:
Faron Zucker, Catherine
Ghidini, Chiara
Napoli, Amedeo
Toussaint, Yannick
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-03667-6
+ info
Language, Culture, Computation. Computational Linguistics and Linguistics. Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part III
Autor/Editor:
Dershowitz, Nachum
Nissan, Ephraim
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-45327-4
+ info
Language, Culture, Computation. Computing - Theory and Technology. Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I
Autor/Editor:
Dershowitz, Nachum
Nissan, Ephraim
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-45321-2
+ info
Language, Culture, Computation. Computing of the Humanities, Law, and Narratives. Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II
Autor/Editor:
Dershowitz, Nachum
Nissan, Ephraim
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-45324-3
+ info
Languages Alive
Autor/Editor:
Bordihn, Henning
Kutrib, Martin
Truthe, Bianca
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-31644-9
+ info
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Autor/Editor:
Margaria, Tiziana
Steffen, Bernhard
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-03424-5
+ info
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Autor/Editor:
Margaria, Tiziana
Steffen, Bernhard
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-03427-6
+ info
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
Autor/Editor:
Margaria, Tiziana
Steffen, Bernhard
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-03418-4
+ info
Leveraging Applications of Formal Methods, Verification and Validation. Verification
Autor/Editor:
Margaria, Tiziana
Steffen, Bernhard
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-03421-4
+ info
Logic, Rationality, and Interaction
Autor/Editor:
Grossi, Davide
Roy, Olivier
Huang, Huaxin
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-40948-6
+ info
Logical Foundations of Computer Science
Autor/Editor:
Artemov, Sergei
Nerode, Anil
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-35722-0
+ info
Machine Learning for Dynamic Software Analysis: Potentials and Limits
Autor/Editor:
Bennaceur, Amel
Hähnle, Reiner
Meinke, Karl
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-96562-8
+ info
Massively Parallel Evolutionary Computation on GPGPUs
Autor/Editor:
Tsutsui, Shigeyoshi
Collet, Pierre
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-37959-8
+ info
Mathematical Foundations of Advanced Informatics
Autor/Editor:
Steffen, Bernhard
Rüthing, Oliver
Huth, Michael
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-68397-3
+ info
Mathematical Modeling and Computational Science
Autor/Editor:
Adam, Gheorghe
Buša, Ján
HnatiÄ, Michal
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-28212-6
+ info
Mathematical Software – ICMS 2014
Autor/Editor:
Hong, Hoon
Yap, Chee
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-44199-2
+ info
Mathematics of Discrete Structures for Computer Science
Autor/Editor:
Pace, Gordon J.
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-29840-0
+ info
Memristor Networks
Autor/Editor:
Chua, Leon
Adamatzky, Andrew
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-02630-5
+ info
Model-Driven Software Migration: A Methodology
Autor/Editor:
Wagner, Christian
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-658-05270-6
+ info
Modeling Time in Computing
Autor/Editor:
Furia, Carlo A.
Mandrioli, Dino
Morzenti, Angelo
Rossi, Matteo
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-32332-4
+ info
Models of Computation
Autor/Editor:
Bruni, Roberto
Montanari, Ugo
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-42900-7
+ info
Models, Algorithms, Logics and Tools
Autor/Editor:
Aceto, Luca
Bacci, Giorgio
Bacci, Giovanni
Ingólfsdóttir, Anna
Legay, Axel
Mardare, Radu
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-63121-9
+ info
Modern Language Models and Computation
Autor/Editor:
Meduna, Alexander
Soukup, Ondřej
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-63100-4
+ info
NASA Formal Methods
Autor/Editor:
Dutle, Aaron
Muñoz, César
Narkawicz, Anthony
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-77935-5
+ info
Natural Computing Algorithms
Autor/Editor:
Brabazon, Anthony
O'Neill, Michael
McGarraghy, Seán
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-43631-8
+ info
Nature of Computation and Communication
Autor/Editor:
Vinh, Phan Cong
Vassev, Emil
Hinchey, Mike
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-15392-6
+ info
Nature of Computation and Communication
Autor/Editor:
Cong Vinh, Phan
Barolli, Leonard
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-46909-6
+ info
New Trends in Model and Data Engineering
Autor/Editor:
Abdelwahed, El Hassan
Bellatreche, Ladjel
Benslimane, Djamal
Golfarelli, Matteo
Jean, Stéphane
Mery, Dominique
Nakamatsu, Kazumi
Ordonez, Carlos
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-02852-7
+ info
Open Problems in Mathematics and Computational Science
Autor/Editor:
Koç, Çetin Kaya
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-10683-0
+ info
Optical Supercomputing
Autor/Editor:
Dolev, Shlomi
Oltean, Mihai
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-38250-5
+ info
Pairing-Based Cryptography – Pairing 2013
Autor/Editor:
Zhang, Fangguo
Cao, Zhenfu
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-04873-4
+ info
Parallel Processing and Applied Mathematics : Part II
Autor/Editor:
Wyrzykowski, Roman
Dongarra, Jack
Deelman, Ewa
Karczewski, Konrad
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-78054-2
+ info
Parameterized and Exact Computation. IPEC 2011
Autor/Editor:
Marx, Dániel
Rossmanith, Peter
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-28050-4
+ info
People, Problems, and Proofs
Autor/Editor:
Lipton, Richard J.
Regan, Kenneth W.
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-41422-0
+ info
Petri Net Synthesis
Autor/Editor:
Badouel, Eric
Bernardinello, Luca
Darondeau, Philippe
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-47967-4
+ info
Principles in Noisy Optimization
Autor/Editor:
Rakshit, Pratyusha
Konar, Amit
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-981-10-8642-7
+ info
Principles of Security and Trust
Autor/Editor:
Maffei, Matteo
Ryan, Mark
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-54455-6
+ info
Principles of Security and Trust
Autor/Editor:
Bauer, Lujo
Küsters, Ralf
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-89722-6
+ info
Process Algebras for Petri Nets
Autor/Editor:
Gorrieri, Roberto
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-55559-1
+ info
Programming Languages and Operational Semantics
Autor/Editor:
Fernández, Maribel
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-1-4471-6368-8
+ info
Programming Languages and Systems
Autor/Editor:
Chang, Bor-Yuh Evan
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-71237-6
+ info
Programming Languages and Systems
Autor/Editor:
Ahmed, Amal
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-89884-1
+ info
Programming Languages and Systems
Autor/Editor:
Ryu, Sukyoung
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-02768-1
+ info
Quantum Computational Number Theory
Autor/Editor:
Yan, Song Y.
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-25823-2
+ info
Quantum Interaction
Autor/Editor:
Busemeyer, Jerome R.
Dubois, François
Lambert-Mogiliansky, Ariane
Melucci, Massimo
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-35659-9
+ info
Recent Trends in Algebraic Development Techniques
Autor/Editor:
Mossakowski, Till
Kreowski, Hans-Jörg
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-28412-0
+ info
Recent Trends in Algebraic Development Techniques
Autor/Editor:
Martí-Oliet, Narciso
Palomino, Miguel
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-37635-1
+ info
Regulated Grammars and Automata
Autor/Editor:
Meduna, Alexander
Zemek, Petr
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-1-4939-0369-6
+ info
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Autor/Editor:
Fantechi, Alessandro
Lecomte, Thierry
Romanovsky, Alexander
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-68499-4
+ info
Risks and Security of Internet and Systems
Autor/Editor:
Cuppens, Frédéric
Cuppens, Nora
Lanet, Jean-Louis
Legay, Axel
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-54876-0
+ info
Sailing Routes in the World of Computation
Autor/Editor:
Manea, Florin
Miller, Russell G.
Nowotka, Dirk
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-94418-0
+ info
Science Gateways for Distributed Computing Infrastructures
Autor/Editor:
Kacsuk, Péter
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-11268-8
+ info
Search Computing
Autor/Editor:
Ceri, Stefano
Brambilla, Marco
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-34213-4
+ info
Self-aware Computing Systems
Autor/Editor:
Lewis, Peter R.
Platzner, Marco
Rinner, Bernhard
Tørresen, Jim
Yao, Xin
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-39675-0
+ info
Semantic Web Challenges
Autor/Editor:
Sack, Harald
Dietze, Stefan
Tordai, Anna
Lange, Christoph
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-46565-4
+ info
Semantics of the Probabilistic Typed Lambda Calculus
Autor/Editor:
Draheim, Dirk
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-55198-7
+ info
Semantics, Analytics, Visualization
Autor/Editor:
González-Beltrán, Alejandra
Osborne, Francesco
Peroni, Silvio
Vahdati, Sahar
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-01379-0
+ info
Signal Processing and Information Technology
Autor/Editor:
Das, Vinu V.
Elkafrawy, Passent
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-11629-7
+ info
Social, Cultural, and Behavioral Modeling
Autor/Editor:
Thomson, Robert
Dancy, Christopher
Hyder, Ayaz
Bisgin, Halil
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-93372-6
+ info
Software Engineering and Formal Methods
Autor/Editor:
Cimatti, Alessandro
Sirjani, Marjan
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-66197-1
+ info
Software Engineering and Formal Methods
Autor/Editor:
Johnsen, Einar Broch
Schaefer, Ina
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-92970-5
+ info
Software Process Improvement and Capability Determination
Autor/Editor:
Stamelos, Ioannis
O'Connor, Rory V.
Rout, Terry
Dorling, Alec
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-00623-5
+ info
Structured Object-Oriented Formal Language and Method
Autor/Editor:
Liu, Shaoying
Duan, Zhenhua
Tian, Cong
Nagoya, Fumiko
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-57708-1
+ info
Supercomputing
Autor/Editor:
Kunkel, Julian Martin
Ludwig, Thomas
Meuer, Werner
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-07518-1
+ info
Symposium on Real-Time and Hybrid Systems
Autor/Editor:
Jones, Cliff
Wang, Ji
Zhan, Naijun
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-01461-2
+ info
The Complexity of Valued Constraint Satisfaction Problems
Autor/Editor:
Živný, Stanislav
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-33974-5
+ info
The Foundations of Computability Theory
Autor/Editor:
RobiÄ, Borut
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-44808-3
+ info
The Incomputable
Autor/Editor:
Cooper, S. Barry
Soskova, Mariya I.
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-43669-2
+ info
The Making of a New Science
Autor/Editor:
Ausiello, Giorgio
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-62680-2
+ info
The Semantic Web – ISWC 2017. 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I
Autor/Editor:
D'Amato, Claudia
Fernandez, Miriam
Tamma, Valentina
Lecue, Freddy
Cudré-Mauroux, Philippe
Sequeda, Juan
Lange, Christoph
Heflin, Jeff
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-68288-4
+ info
The Semantic Web – ISWC 2017. 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part II
Autor/Editor:
D'Amato, Claudia
Fernandez, Miriam
Tamma, Valentina
Lecue, Freddy
Cudré-Mauroux, Philippe
Sequeda, Juan
Lange, Christoph
Heflin, Jeff
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-68204-4
+ info
The Semantic Web: ESWC 2017 Satellite Events
Autor/Editor:
Blomqvist, Eva
Hose, Katja
Paulheim, Heiko
Åawrynowicz, Agnieszka
Ciravegna, Fabio
Hartig, Olaf
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-70407-4
+ info
The Semantic Web. 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 – June 1, 2017, Proceedings, Part I
Autor/Editor:
Blomqvist, Eva
Maynard, Diana
Gangemi, Aldo
Hoekstra, Rinke
Hitzler, Pascal
Hartig, Olaf
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-58068-5
+ info
The Semantic Web. 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 – June 1, 2017, Proceedings, Part II
Autor/Editor:
Blomqvist, Eva
Maynard, Diana
Gangemi, Aldo
Hoekstra, Rinke
Hitzler, Pascal
Hartig, Olaf
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-58451-5
+ info
Theoretical Aspects of Computing – ICTAC 2012
Autor/Editor:
Roychoudhury, Abhik
D’Souza, Meenakshi
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-32943-2
+ info
Theoretical Computer Science
Autor/Editor:
Baeten, Jos C. M.
Ball, Tom
Boer, Frank S.
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-33475-7
+ info
Theories of Programming and Formal Methods
Autor/Editor:
Liu, Zhiming
Woodcock, Jim
Zhu, Huibiao
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-39698-4
+ info
Theory and Applications of Formal Argumentation
Autor/Editor:
Black, Elizabeth
Modgil, Sanjay
Oren, Nir
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-28460-6
+ info
Theory and Applications of Formal Argumentation
Autor/Editor:
Black, Elizabeth
Mogdil, Sanjay
Oren, Nir
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-54373-9
+ info
Theory and Applications of Models of Computation
Autor/Editor:
Agrawal, Manindra
Cooper, S. Barry
Li, Angsheng
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-29952-0
+ info
Theory and Applications of Models of Computation
Autor/Editor:
Chan, T-H. Hubert
Lau, Lap Chi
Trevisan, Luca
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-38236-9
+ info
Theory and Applications of Models of Computation
Autor/Editor:
Gopal, T. V.
Agrawal, Manindra
Li, Angsheng
Cooper, S. Barry
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-06089-7
+ info
Theory and Applications of Satisfiability Testing -- SAT 2015
Autor/Editor:
Heule, Marijn
Weaver, Sean
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-24318-4
+ info
Theory and Applications of Satisfiability Testing – SAT 2014
Autor/Editor:
Sinz, Carsten
Egly, Uwe
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-09284-3
+ info
Theory and Applications of Satisfiability Testing – SAT 2016
Autor/Editor:
Creignou, Nadia
Le Berre, Daniel
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-40970-2
+ info
Theory and Applications of Satisfiability Testing – SAT 2017
Autor/Editor:
Gaspers, Serge
Walsh, Toby
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-66263-3
+ info
Theory and Applications of Satisfiability Testing – SAT 2018
Autor/Editor:
Beyersdorff, Olaf
Wintersteiger, Christoph M.
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-94144-8
+ info
Theory and Practice of Computation
Autor/Editor:
Nishizaki, Shin-ya
Numao, Masayuki
Caro, Jaime
Suarez, Merlin Teodosia
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-4-431-54106-6
+ info
Theory and Practice of Computation
Autor/Editor:
Nishizaki, Shin-ya
Numao, Masayuki
Caro, Jaime
Suarez, Merlin Teodosia
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-4-431-54436-4
+ info
Theory and Principled Methods for the Design of Metaheuristics
Autor/Editor:
Borenstein, Yossi
Moraglio, Alberto
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-33206-7
+ info
Theory of Quantum Computation, Communication, and Cryptography
Autor/Editor:
Iwama, Kazuo
Kawano, Yasuhito
Murao, Mio
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-35656-8
+ info
Theory of Quantum Computation, Communication, and Cryptography
Autor/Editor:
Bacon, Dave
Martin-Delgado, Miguel
Roetteler, Martin
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-54429-3
+ info
Theory of Reversible Computing
Autor/Editor:
Morita, Kenichi
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-4-431-56606-9
+ info
de
3 paginas
registros 101 al 200 de 216