Search Results for - Narrowed by: Springer E-Book Collection - Theory of Computation. - 2014

Genetic Programming Theory and Practice XI

2024-06-08T22:19:38Z

Yazar Riolo, Rick. editor.
http://dx.doi.org/10.1007/978-1-4939-0375-7
Format: Electronic Resources

Programming Languages and Operational Semantics A Concise Overview

2024-06-08T22:19:38Z

Yazar Fernández, Maribel. author.
http://dx.doi.org/10.1007/978-1-4471-6368-8
Format: Electronic Resources

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

2024-06-08T22:19:38Z

Yazar Bernardo, Marco. editor.
http://dx.doi.org/10.1007/978-3-319-07317-0
Format: Electronic Resources

Computer Games Workshop on Computer Games, CGW 2013, Held in Conjunction with the 23rd International Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, August 3, 2013, Revised Selected Papers

2024-06-08T22:19:38Z

Yazar Cazenave, Tristan. editor.
http://dx.doi.org/10.1007/978-3-319-05428-5
Format: Electronic Resources

Memristor Networks

2024-06-08T22:19:38Z

Yazar Adamatzky, Andrew. editor.
http://dx.doi.org/10.1007/978-3-319-02630-5
Format: Electronic Resources

Science Gateways for Distributed Computing Infrastructures Development Framework and Exploitation by Scientific User Communities

2024-06-08T22:19:38Z

Yazar Kacsuk, Péter. editor.
http://dx.doi.org/10.1007/978-3-319-11268-8
Format: Electronic Resources

Unconventional Computation and Natural Computation 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings

2024-06-08T22:19:38Z

Yazar Ibarra, Oscar H. editor.
http://dx.doi.org/10.1007/978-3-319-08123-6
Format: Electronic Resources

Transactions on Computational Science XXII

2024-06-08T22:19:38Z

Yazar Gavrilova, Marina L. editor.
http://dx.doi.org/10.1007/978-3-642-54212-1
Format: Electronic Resources

Theory of Quantum Computation, Communication, and Cryptography 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers

2024-06-08T22:19:38Z

Yazar Bacon, Dave. editor.
http://dx.doi.org/10.1007/978-3-642-54429-3
Format: Electronic Resources

Biomimetic and Biohybrid Systems Third International Conference, Living Machines 2014, Milan, Italy, July 30 – August 1, 2014. Proceedings

2024-06-08T22:19:38Z

Yazar Duff, Armin. editor.
http://dx.doi.org/10.1007/978-3-319-09435-9
Format: Electronic Resources

Discrete and Topological Models in Molecular Biology

2024-06-08T22:19:38Z

Yazar Jonoska, Nataša. editor.
http://dx.doi.org/10.1007/978-3-642-40193-0
Format: Electronic Resources

Mathematical Software – ICMS 2014 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings

2024-06-08T22:19:38Z

Yazar Hong, Hoon. editor.
http://dx.doi.org/10.1007/978-3-662-44199-2
Format: Electronic Resources

Advances in Cryptology – ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014, Proceedings, Part II

2024-06-08T22:19:38Z

Yazar Sarkar, Palash. editor.
http://dx.doi.org/10.1007/978-3-662-45608-8
Format: Electronic Resources

Model-Driven Software Migration: A Methodology Reengineering, Recovery and Modernization of Legacy Systems

2024-06-08T22:19:38Z

Yazar Wagner, Christian. author.
http://dx.doi.org/10.1007/978-3-658-05270-6
Format: Electronic Resources

Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives

2024-06-08T22:19:38Z

Yazar Anderson, Neal G. editor.
http://dx.doi.org/10.1007/978-3-662-43722-3
Format: Electronic Resources

Augmented Marked Graphs

2024-06-08T22:19:38Z

Yazar Cheung, King Sing. author.
http://dx.doi.org/10.1007/978-3-319-06428-4
Format: Electronic Resources

Supercomputing 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014. Proceedings

2024-06-08T22:19:38Z

Yazar Kunkel, Julian Martin. editor.
http://dx.doi.org/10.1007/978-3-319-07518-1
Format: Electronic Resources

Applied Cryptography and Network Security 12th International Conference, ACNS 2014, Lausanne, Switzerland, June 10-13, 2014. Proceedings

2024-06-08T22:19:38Z

Yazar Boureanu, Ioana. editor.
http://dx.doi.org/10.1007/978-3-319-07536-5
Format: Electronic Resources

Algorithmic Learning Theory 25th International Conference, ALT 2014, Bled, Slovenia, October 8-10, 2014. Proceedings

2024-06-08T22:19:38Z

Yazar Auer, Peter. editor.
http://dx.doi.org/10.1007/978-3-319-11662-4
Format: Electronic Resources

Open Problems in Mathematics and Computational Science

2024-06-08T22:19:38Z

Yazar Koç, Çetin Kaya. editor.
http://dx.doi.org/10.1007/978-3-319-10683-0
Format: Electronic Resources

Theory and Principled Methods for the Design of Metaheuristics

2024-06-08T22:19:38Z

Yazar Borenstein, Yossi. editor.
http://dx.doi.org/10.1007/978-3-642-33206-7
Format: Electronic Resources

Theory and Applications of Formal Argumentation Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected papers

2024-06-08T22:19:38Z

Yazar Black, Elizabeth. editor.
http://dx.doi.org/10.1007/978-3-642-54373-9
Format: Electronic Resources

Language, Culture, Computation. Computational Linguistics and Linguistics Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part III

2024-06-08T22:19:38Z

Yazar Dershowitz, Nachum. editor.
http://dx.doi.org/10.1007/978-3-642-45327-4
Format: Electronic Resources

Guided Self-Organization: Inception

2024-06-08T22:19:38Z

Yazar Prokopenko, Mikhail. editor.
http://dx.doi.org/10.1007/978-3-642-53734-9
Format: Electronic Resources

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

2024-06-08T22:19:38Z

Yazar Hanus, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-08909-6
Format: Electronic Resources

Foundations of Security Analysis and Design VII FOSAD 2012/2013 Tutorial Lectures

2024-06-08T22:19:38Z

Yazar Aldini, Alessandro. editor.
http://dx.doi.org/10.1007/978-3-319-10082-1
Format: Electronic Resources

Signal Processing and Information Technology Second International Joint Conference, SPIT 2012, Dubai, UAE, September 20-21, 2012, Revised Selected Papers

2024-06-08T22:19:38Z

Yazar Das, Vinu V. editor.
http://dx.doi.org/10.1007/978-3-319-11629-7
Format: Electronic Resources

Advances in Cryptology – ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014. Proceedings, Part I

2024-06-08T22:19:38Z

Yazar Sarkar, Palash. editor.
http://dx.doi.org/10.1007/978-3-662-45611-8
Format: Electronic Resources

Transactions on Computational Science XXIII Special Issue on Cyberworlds

2024-06-08T22:19:38Z

Yazar Gavrilova, Marina L. editor.
http://dx.doi.org/10.1007/978-3-662-43790-2
Format: Electronic Resources

Language, Culture, Computation. Computing - Theory and Technology Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I

2024-06-08T22:19:38Z

Yazar Dershowitz, Nachum. editor.
http://dx.doi.org/10.1007/978-3-642-45321-2
Format: Electronic Resources

Language, Culture, Computation. Computing of the Humanities, Law, and Narratives Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II

2024-06-08T22:19:38Z

Yazar Dershowitz, Nachum. editor.
http://dx.doi.org/10.1007/978-3-642-45324-3
Format: Electronic Resources

Regulated Grammars and Automata

2024-06-08T22:19:38Z

Yazar Meduna, Alexander. author.
http://dx.doi.org/10.1007/978-1-4939-0369-6
Format: Electronic Resources

Constructivity and Computability in Historical and Philosophical Perspective

2024-06-08T22:19:38Z

Yazar Dubucs, Jacques. editor.
http://dx.doi.org/10.1007/978-94-017-9217-2
Format: Electronic Resources

Pairing-Based Cryptography – Pairing 2013 6th International Conference, Beijing, China, November 22-24, 2013, Revised Selected Papers

2024-06-08T22:19:38Z

Yazar Cao, Zhenfu. editor.
http://dx.doi.org/10.1007/978-3-319-04873-4
Format: Electronic Resources

Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings

2024-06-08T22:19:38Z

Yazar Gopal, T. V. editor.
http://dx.doi.org/10.1007/978-3-319-06089-7
Format: Electronic Resources

Computer Games Third Workshop on Computer Games, CGW 2014, Held in Conjunction with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18, 2014, Revised Selected Papers

2024-06-08T22:19:38Z

Yazar Cazenave, Tristan. editor.
http://dx.doi.org/10.1007/978-3-319-14923-3
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

2024-06-08T22:19:38Z

Yazar Sinz, Carsten. editor.
http://dx.doi.org/10.1007/978-3-319-09284-3
Format: Electronic Resources