Search Results for - Narrowed by: Springer E-Book Collection - English - Computer science. - Theory of Computation.

Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers

2024-06-07T21:29:45Z

Yazar Hinze, Thomas. editor.
https://doi.org/10.1007/978-3-030-12797-8
Format: Electronic Resources

Managed Software Evolution

2024-06-07T21:29:45Z

Yazar Reussner, Ralf. editor.
https://doi.org/10.1007/978-3-030-13499-0
Format: Electronic Resources

Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

2024-06-07T21:29:45Z

Yazar Johnsen, Einar Broch. editor.
https://doi.org/10.1007/978-3-319-92970-5
Format: Electronic Resources

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

2024-06-07T21:29:45Z

Yazar Havelund, Klaus. editor. (orcid)0000-0001-7079-0472
https://doi.org/10.1007/978-3-319-95582-7
Format: Electronic Resources

The Making of a New Science A Personal Journey Through the Early Years of Theoretical Computer Science

2024-06-07T21:29:45Z

Yazar Ausiello, Giorgio. author.
https://doi.org/10.1007/978-3-319-62680-2
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

2024-06-07T21:29:45Z

Yazar Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03421-4
Format: Electronic Resources

Transactions on Computational Science XXXIII

2024-06-07T21:29:45Z

Yazar Gavrilova, Marina L. editor.
https://doi.org/10.1007/978-3-662-58039-4
Format: Electronic Resources

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

2024-06-07T21:29:45Z

Yazar Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772
https://doi.org/10.1007/978-3-030-02768-1
Format: Electronic Resources

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

2024-06-07T21:29:45Z

Yazar Howar, Falk. editor.
https://doi.org/10.1007/978-3-030-00244-2
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

2024-06-07T21:29:45Z

Yazar Beyersdorff, Olaf. editor.
https://doi.org/10.1007/978-3-319-94144-8
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

2024-06-07T21:29:45Z

Yazar Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03424-5
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

2024-06-07T21:29:45Z

Yazar Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03418-4
Format: Electronic Resources

Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings

2024-06-07T21:29:45Z

Yazar Manea, Florin. editor.
https://doi.org/10.1007/978-3-319-94418-0
Format: Electronic Resources

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

2024-06-07T21:29:45Z

Yazar Steffen, Bernhard. author.
https://doi.org/10.1007/978-3-319-68397-3
Format: Electronic Resources

Handbook of Model Checking

2024-06-07T21:29:45Z

Yazar Clarke, Edmund M. editor.
https://doi.org/10.1007/978-3-319-10575-8
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

2024-06-07T21:29:45Z

Yazar Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03427-6
Format: Electronic Resources

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

2024-06-07T21:29:45Z

Yazar Jones, Cliff. editor.
https://doi.org/10.1007/978-3-030-01461-2
Format: Electronic Resources

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

2024-06-07T21:29:45Z

Yazar Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786
https://doi.org/10.1007/978-3-319-78054-2
Format: Electronic Resources

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

2024-06-07T21:29:45Z

Yazar Dutle, Aaron. editor.
https://doi.org/10.1007/978-3-319-77935-5
Format: Electronic Resources

The Semantic Web – ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part II

2024-06-07T21:29:45Z

Yazar d'Amato, Claudia. editor. (orcid)0000-0002-3385-987X
https://doi.org/10.1007/978-3-319-68204-4
Format: Electronic Resources

Designing the Digital Transformation 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 – June 1, 2017, Proceedings

2024-06-07T21:29:45Z

Yazar Maedche, Alexander. editor.
https://doi.org/10.1007/978-3-319-59144-5
Format: Electronic Resources

Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

2024-06-07T21:29:45Z

Yazar Paskevich, Andrei. editor.
https://doi.org/10.1007/978-3-319-72308-2
Format: Electronic Resources

The Semantic Web – ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21–25, 2017, Proceedings, Part I

2024-06-07T21:29:45Z

Yazar d'Amato, Claudia. editor. (orcid)0000-0002-3385-987X
https://doi.org/10.1007/978-3-319-68288-4
Format: Electronic Resources

Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

2024-06-07T21:29:45Z

Yazar D'Souza, Deepak. editor.
https://doi.org/10.1007/978-3-319-68167-2
Format: Electronic Resources

Space in Weak Propositional Proof Systems

2024-06-07T21:29:45Z

Yazar Bonacina, Ilario. author.
https://doi.org/10.1007/978-3-319-73453-8
Format: Electronic Resources

Modern Language Models and Computation Theory with Applications

2024-06-07T21:29:45Z

Yazar Meduna, Alexander. author.
https://doi.org/10.1007/978-3-319-63100-4
Format: Electronic Resources

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

2024-06-07T21:29:45Z

Yazar Takagi, Tsuyoshi. editor.
https://doi.org/10.1007/978-3-319-70694-8
Format: Electronic Resources

The Incomputable Journeys Beyond the Turing Barrier

2024-06-07T21:29:45Z

Yazar Cooper, S. Barry. editor.
https://doi.org/10.1007/978-3-319-43669-2
Format: Electronic Resources

Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings

2024-06-07T21:29:45Z

Yazar Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990
https://doi.org/10.1007/978-3-319-66197-1
Format: Electronic Resources

High Performance Computing for Computational Science – VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers

2024-06-07T21:29:45Z

Yazar Dutra, Inês. editor.
https://doi.org/10.1007/978-3-319-61982-8
Format: Electronic Resources

Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

2024-06-07T21:29:45Z

Yazar Chang, Bor-Yuh Evan. editor.
https://doi.org/10.1007/978-3-319-71237-6
Format: Electronic Resources

Computer Games 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers

2024-06-07T21:29:45Z

Yazar Cazenave, Tristan. editor.
https://doi.org/10.1007/978-3-319-57969-6
Format: Electronic Resources

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

2024-06-07T21:29:45Z

Yazar Takagi, Tsuyoshi. editor.
https://doi.org/10.1007/978-3-319-70697-9
Format: Electronic Resources

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

2024-06-07T21:29:45Z

Yazar Takagi, Tsuyoshi. editor.
https://doi.org/10.1007/978-3-319-70700-6
Format: Electronic Resources

Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers

2024-06-07T21:29:45Z

Yazar Rossi, Federico. editor. (orcid)0000-0002-1854-532X
https://doi.org/10.1007/978-3-319-57711-1
Format: Electronic Resources

Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics

2024-06-07T21:29:45Z

Yazar Draheim, Dirk. author.
https://doi.org/10.1007/978-3-642-55198-7
Format: Electronic Resources

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

2024-06-07T21:29:45Z

Yazar Aceto, Luca. editor.
https://doi.org/10.1007/978-3-319-63121-9
Format: Electronic Resources

Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

2024-06-07T21:29:45Z

Yazar Polikarpova, Nadia. editor. (orcid)0000-0001-5571-173X
https://doi.org/10.1007/978-3-319-66845-1
Format: Electronic Resources

Principles of Security and Trust 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

2024-06-07T21:29:45Z

Yazar Maffei, Matteo. editor.
https://doi.org/10.1007/978-3-662-54455-6
Format: Electronic Resources

High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18–22, 2017, Proceedings

2024-06-07T21:29:45Z

Yazar Kunkel, Julian M. editor.
https://doi.org/10.1007/978-3-319-58667-0
Format: Electronic Resources

Biomimetic and Biohybrid Systems 5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016. Proceedings

2024-06-07T21:29:45Z

Yazar Lepora, Nathan F. editor.
http://dx.doi.org/10.1007/978-3-319-42417-0
Format: Electronic Resources

Self-aware Computing Systems An Engineering Approach

2024-06-07T21:29:45Z

Yazar Lewis, Peter R. editor.
http://dx.doi.org/10.1007/978-3-319-39675-0
Format: Electronic Resources

Topics in Grammatical Inference

2024-06-07T21:29:45Z

Yazar Heinz, Jeffrey. editor.
http://dx.doi.org/10.1007/978-3-662-48395-4
Format: Electronic Resources

High Performance Computing 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings

2024-06-07T21:29:45Z

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

Evolutionary Computer Vision The First Footprints

2024-06-07T21:29:45Z

Yazar Olague, Gustavo. author.
http://dx.doi.org/10.1007/978-3-662-43693-6
Format: Electronic Resources

Finitely Supported Mathematics An Introduction

2024-06-07T21:29:45Z

Yazar Alexandru, Andrei. author.
http://dx.doi.org/10.1007/978-3-319-42282-4
Format: Electronic Resources

Computer Games Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers

2024-06-07T21:29:45Z

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

Applied Cryptography and Network Security 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings

2024-06-07T21:29:45Z

Yazar Manulis, Mark. editor.
http://dx.doi.org/10.1007/978-3-319-39555-5
Format: Electronic Resources

Turing Computability Theory and Applications

2024-06-07T21:29:45Z

Yazar Soare, Robert I. author.
http://dx.doi.org/10.1007/978-3-642-31933-4
Format: Electronic Resources

Hybrid Metaheuristics Powerful Tools for Optimization

2024-06-07T21:29:45Z

Yazar Blum, Christian. author.
http://dx.doi.org/10.1007/978-3-319-30883-8
Format: Electronic Resources

Advances in Artificial Life, Evolutionary Computation and Systems Chemistry 10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015, Revised Selected Papers

2024-06-07T21:29:45Z

Yazar Rossi, Federico. editor.
http://dx.doi.org/10.1007/978-3-319-32695-5
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

2024-06-07T21:29:45Z

Yazar Creignou, Nadia. editor.
http://dx.doi.org/10.1007/978-3-319-40970-2
Format: Electronic Resources

Encyclopedia of Algorithms

2024-06-07T21:29:45Z

Yazar Kao, Ming-Yang. editor.
http://dx.doi.org/10.1007/978-1-4939-2864-4
Format: Electronic Resources

Nature of Computation and Communication International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers

2024-06-07T21:29:45Z

Yazar Vinh, Phan Cong. editor.
http://dx.doi.org/10.1007/978-3-319-15392-6
Format: Electronic Resources

High Performance Computing for Computational Science -- VECPAR 2014 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers

2024-06-07T21:29:45Z

Yazar Daydé, Michel. editor.
http://dx.doi.org/10.1007/978-3-319-17353-5
Format: Electronic Resources

Constraint Solving and Planning with Picat

2024-06-07T21:29:45Z

Yazar Zhou, Neng-Fa. author.
http://dx.doi.org/10.1007/978-3-319-25883-6
Format: Electronic Resources

Natural Computing Algorithms

2024-06-07T21:29:45Z

Yazar Brabazon, Anthony. author.
http://dx.doi.org/10.1007/978-3-662-43631-8
Format: Electronic Resources

Bridging Constraint Satisfaction and Boolean Satisfiability

2024-06-07T21:29:45Z

Yazar Petke, Justyna. author.
http://dx.doi.org/10.1007/978-3-319-21810-6
Format: Electronic Resources

Unconventional Computation and Natural Computation 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings

2024-06-07T21:29:45Z

Yazar Calude, Cristian S. editor.
http://dx.doi.org/10.1007/978-3-319-21819-9
Format: Electronic Resources

Theory and Applications of Satisfiability Testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings

2024-06-07T21:29:45Z

Yazar Heule, Marijn. editor.
http://dx.doi.org/10.1007/978-3-319-24318-4
Format: Electronic Resources

High Performance Computing 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings

2024-06-07T21:29:45Z

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

Graph and Model Transformation General Framework and Applications

2024-06-07T21:29:45Z

Yazar Ehrig, Hartmut. author.
http://dx.doi.org/10.1007/978-3-662-47980-3
Format: Electronic Resources

Biomimetic and Biohybrid Systems 4th International Conference, Living Machines 2015, Barcelona, Spain, July 28 - 31, 2015, Proceedings

2024-06-07T21:29:45Z

Yazar Wilson, Stuart P. editor.
http://dx.doi.org/10.1007/978-3-319-22979-9
Format: Electronic Resources

Behavior Modeling -- Foundations and Applications International Workshops, BM-FA 2009-2014, Revised Selected Papers

2024-06-07T21:29:45Z

Yazar Roubtsova, Ella. editor.
http://dx.doi.org/10.1007/978-3-319-21912-7
Format: Electronic Resources

Introduction to Concurrency Theory Transition Systems and CCS

2024-06-07T21:29:45Z

Yazar Gorrieri, Roberto. author.
http://dx.doi.org/10.1007/978-3-319-21491-7
Format: Electronic Resources

Quantum Computational Number Theory

2024-06-07T21:29:45Z

Yazar Yan, Song Y. author.
http://dx.doi.org/10.1007/978-3-319-25823-2
Format: Electronic Resources

Words and Graphs

2024-06-07T21:29:45Z

Yazar Kitaev, Sergey. author.
http://dx.doi.org/10.1007/978-3-319-25859-1
Format: Electronic Resources

Applied Cryptography and Network Security 13th International Conference, ACNS 2015, New York, NY, USA, June 2-5, 2015, Revised Selected Papers

2024-06-07T21:29:45Z

Yazar Malkin, Tal. editor.
http://dx.doi.org/10.1007/978-3-319-28166-7
Format: Electronic Resources

Petri Net Synthesis

2024-06-07T21:29:45Z

Yazar Badouel, Eric. author.
http://dx.doi.org/10.1007/978-3-662-47967-4
Format: Electronic Resources

Algorithmic Learning Theory 26th International Conference, ALT 2015, Banff, AB, Canada, October 4-6, 2015, Proceedings

2024-06-07T21:29:45Z

Yazar Chaudhuri, Kamalika. editor.
http://dx.doi.org/10.1007/978-3-319-24486-0
Format: Electronic Resources

Combinatorics on Words 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings

2024-06-07T21:29:45Z

Yazar Manea, Florin. editor.
http://dx.doi.org/10.1007/978-3-319-23660-5
Format: Electronic Resources

Theory and Applications of Formal Argumentation Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers

2024-06-07T21:29:45Z

Yazar Black, Elizabeth. editor.
http://dx.doi.org/10.1007/978-3-319-28460-6
Format: Electronic Resources

Energy Time Series Forecasting Efficient and Accurate Forecasting of Evolving Time Series from the Energy Domain

2024-06-07T21:29:45Z

Yazar Dannecker, Lars. author.
http://dx.doi.org/10.1007/978-3-658-11039-0
Format: Electronic Resources

Carl Adam Petri Life and Science

2024-06-07T21:29:45Z

Yazar Smith, Einar. author.
http://dx.doi.org/10.1007/978-3-662-48093-9
Format: Electronic Resources

Agents and Artificial Intelligence 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers

2024-06-07T21:29:45Z

Yazar Duval, Béatrice. editor.
http://dx.doi.org/10.1007/978-3-319-27947-3
Format: Electronic Resources

The Foundations of Computability Theory

2024-06-07T21:29:45Z

Yazar Robič, Borut. author.
http://dx.doi.org/10.1007/978-3-662-44808-3
Format: Electronic Resources

Introduction to Evolutionary Computing

2024-06-07T21:29:45Z

Yazar Eiben, A.E. author.
http://dx.doi.org/10.1007/978-3-662-44874-8
Format: Electronic Resources

CryptoSchool

2024-06-07T21:29:45Z

Yazar von zur Gathen, Joachim. author.
http://dx.doi.org/10.1007/978-3-662-48425-8
Format: Electronic Resources

Advances in Cryptology -- ASIACRYPT 2015 21st International Conference on the Theory and Application of Cryptology and Information Security,Auckland, New Zealand, November 29 -- December 3, 2015, Proceedings, Part I

2024-06-07T21:29:45Z

Yazar Iwata, Tetsu. editor.
http://dx.doi.org/10.1007/978-3-662-48797-6
Format: Electronic Resources

Advances in Cryptology – ASIACRYPT 2015 21st International Conference on the Theory and Application of Cryptology and Information Security, Auckland, New Zealand, November 29 -- December 3, 2015, Proceedings, Part II

2024-06-07T21:29:45Z

Yazar Iwata, Tetsu. editor.
http://dx.doi.org/10.1007/978-3-662-48800-3
Format: Electronic Resources

Higher-Order Computability

2024-06-07T21:29:45Z

Yazar Longley, John. author.
http://dx.doi.org/10.1007/978-3-662-47992-6
Format: Electronic Resources

Discrete and Topological Models in Molecular Biology

2024-06-07T21:29:45Z

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

Transactions on Computational Science XXIII Special Issue on Cyberworlds

2024-06-07T21:29:45Z

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

Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives

2024-06-07T21:29:45Z

Yazar Anderson, Neal G. editor.
http://dx.doi.org/10.1007/978-3-662-43722-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-07T21:29:45Z

Yazar Sinz, Carsten. editor.
http://dx.doi.org/10.1007/978-3-319-09284-3
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-07T21:29:45Z

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-07T21:29:45Z

Yazar Dershowitz, Nachum. editor.
http://dx.doi.org/10.1007/978-3-642-45324-3
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-07T21:29:45Z

Yazar Dershowitz, Nachum. editor.
http://dx.doi.org/10.1007/978-3-642-45327-4
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-07T21:29:45Z

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

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

2024-06-07T21:29:45Z

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

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

2024-06-07T21:29:45Z

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-07T21:29:45Z

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

Genetic Programming Theory and Practice XI

2024-06-07T21:29:45Z

Yazar Riolo, Rick. editor.
http://dx.doi.org/10.1007/978-1-4939-0375-7
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-07T21:29:45Z

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

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

2024-06-07T21:29:45Z

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

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

2024-06-07T21:29:45Z

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-07T21:29:45Z

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

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

2024-06-07T21:29:45Z

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

Regulated Grammars and Automata

2024-06-07T21:29:45Z

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

Programming Languages and Operational Semantics A Concise Overview

2024-06-07T21:29:45Z

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

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

2024-06-07T21:29:45Z

Yazar Cao, Zhenfu. editor.
http://dx.doi.org/10.1007/978-3-319-04873-4
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-07T21:29:45Z

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

Augmented Marked Graphs

2024-06-07T21:29:45Z

Yazar Cheung, King Sing. author.
http://dx.doi.org/10.1007/978-3-319-06428-4
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-07T21:29:45Z

Yazar Cazenave, Tristan. editor.
http://dx.doi.org/10.1007/978-3-319-14923-3
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-07T21:29:45Z

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

Memristor Networks

2024-06-07T21:29:45Z

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

Open Problems in Mathematics and Computational Science

2024-06-07T21:29:45Z

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

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

2024-06-07T21:29:45Z

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

Transactions on Computational Science XXII

2024-06-07T21:29:45Z

Yazar Gavrilova, Marina L. editor.
http://dx.doi.org/10.1007/978-3-642-54212-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-07T21:29:45Z

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

Theory and Principled Methods for the Design of Metaheuristics

2024-06-07T21:29:45Z

Yazar Borenstein, Yossi. editor.
http://dx.doi.org/10.1007/978-3-642-33206-7
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-07T21:29:45Z

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

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

2024-06-07T21:29:45Z

Yazar Wagner, Christian. author.
http://dx.doi.org/10.1007/978-3-658-05270-6
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-07T21:29:45Z

Yazar Sarkar, Palash. editor.
http://dx.doi.org/10.1007/978-3-662-45608-8
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-07T21:29:45Z

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

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

2024-06-07T21:29:45Z

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