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

Arto Salomaa: Mathematician, Computer Scientist, and Teacher A Thematic Biography

2024-05-14T15:20:59Z

Yazar Paakki, Jukka. author.
https://doi.org/10.1007/978-3-030-16049-4
Format: Electronic Resources

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I

2024-05-14T15:20:59Z

Yazar Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025
https://doi.org/10.1007/978-3-030-22734-0
Format: Electronic Resources

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV

2024-05-14T15:20:59Z

Yazar Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025
https://doi.org/10.1007/978-3-030-22747-0
Format: Electronic Resources

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V

2024-05-14T15:20:59Z

Yazar Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025
https://doi.org/10.1007/978-3-030-22750-0
Format: Electronic Resources

Advances and Trends in Artificial Intelligence. From Theory to Practice 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9–11, 2019, Proceedings

2024-05-14T15:20:59Z

Yazar Wotawa, Franz. editor.
https://doi.org/10.1007/978-3-030-22999-3
Format: Electronic Resources

Graphical Models for Security 6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers

2024-05-14T15:20:59Z

Yazar Albanese, Massimiliano. editor. (orcid)0000-0002-2675-5810
https://doi.org/10.1007/978-3-030-36537-0
Format: Electronic Resources

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III

2024-05-14T15:20:59Z

Yazar Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025
https://doi.org/10.1007/978-3-030-22744-9
Format: Electronic Resources

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II

2024-05-14T15:20:59Z

Yazar Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025
https://doi.org/10.1007/978-3-030-22741-8
Format: Electronic Resources

Handbook of Model Checking

2024-05-14T15:20:59Z

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

Transactions on Computational Science XXXIII

2024-05-14T15:20:59Z

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

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

2024-05-14T15:20:59Z

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

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

2024-05-14T15:20:59Z

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

The Incomputable Journeys Beyond the Turing Barrier

2024-05-14T15:20:59Z

Yazar Cooper, S. Barry. editor.
https://doi.org/10.1007/978-3-319-43669-2
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-05-14T15:20:59Z

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

Modern Language Models and Computation Theory with Applications

2024-05-14T15:20:59Z

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

Space in Weak Propositional Proof Systems

2024-05-14T15:20:59Z

Yazar Bonacina, Ilario. author.
https://doi.org/10.1007/978-3-319-73453-8
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-05-14T15:20:59Z

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-05-14T15:20:59Z

Yazar Takagi, Tsuyoshi. editor.
https://doi.org/10.1007/978-3-319-70700-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-05-14T15:20:59Z

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 I

2024-05-14T15:20:59Z

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

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

2024-05-14T15:20:59Z

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

Finitely Supported Mathematics An Introduction

2024-05-14T15:20:59Z

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

Turing Computability Theory and Applications

2024-05-14T15:20:59Z

Yazar Soare, Robert I. author.
http://dx.doi.org/10.1007/978-3-642-31933-4
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-05-14T15:20:59Z

Yazar Rossi, Federico. editor.
http://dx.doi.org/10.1007/978-3-319-32695-5
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-05-14T15:20:59Z

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

Petri Net Synthesis

2024-05-14T15:20:59Z

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

Introduction to Concurrency Theory Transition Systems and CCS

2024-05-14T15:20:59Z

Yazar Gorrieri, Roberto. author.
http://dx.doi.org/10.1007/978-3-319-21491-7
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-05-14T15:20:59Z

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

Words and Graphs

2024-05-14T15:20:59Z

Yazar Kitaev, Sergey. author.
http://dx.doi.org/10.1007/978-3-319-25859-1
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-05-14T15:20:59Z

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

The Foundations of Computability Theory

2024-05-14T15:20:59Z

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

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

2024-05-14T15:20:59Z

Yazar Heule, Marijn. editor.
http://dx.doi.org/10.1007/978-3-319-24318-4
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-05-14T15:20:59Z

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

Higher-Order Computability

2024-05-14T15:20:59Z

Yazar Longley, John. author.
http://dx.doi.org/10.1007/978-3-662-47992-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 I

2024-05-14T15:20:59Z

Yazar Sarkar, Palash. editor.
http://dx.doi.org/10.1007/978-3-662-45611-8
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-05-14T15:20:59Z

Yazar Sinz, Carsten. editor.
http://dx.doi.org/10.1007/978-3-319-09284-3
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-05-14T15:20:59Z

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

Regulated Grammars and Automata

2024-05-14T15:20:59Z

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

Open Problems in Mathematics and Computational Science

2024-05-14T15:20:59Z

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

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

2024-05-14T15:20:59Z

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