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

Transactions on Rough Sets XXI

2024-05-14T14:34:33Z

Yazar Peters, James F. editor. (orcid)0000-0002-1026-4638
https://doi.org/10.1007/978-3-662-58768-3
Format: Electronic Resources

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

2024-05-14T14:34:33Z

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-14T14:34:33Z

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-14T14:34:33Z

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-14T14:34:33Z

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-14T14:34:33Z

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

Advances in Cryptology – ASIACRYPT 2019 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part III

2024-05-14T14:34:33Z

Yazar Galbraith, Steven D. editor. (orcid)0000-0001-7114-8377
https://doi.org/10.1007/978-3-030-34618-8
Format: Electronic Resources

Game Theory Third East Asia International Conference, EAGT 2019, Fuzhou, China, March 7–9, 2019, Revised Selected Papers

2024-05-14T14:34:33Z

Yazar Li, Deng-Feng. editor.
https://doi.org/10.1007/978-981-15-0657-4
Format: Electronic Resources

Information Processing in Medical Imaging 26th International Conference, IPMI 2019, Hong Kong, China, June 2–7, 2019, Proceedings

2024-05-14T14:34:33Z

Yazar Chung, Albert C. S. editor. (orcid)0000-0003-4400-9261
https://doi.org/10.1007/978-3-030-20351-1
Format: Electronic Resources

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

2024-05-14T14:34:33Z

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

Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

2024-05-14T14:34:33Z

Yazar Filiot, Emmanuel. editor.
https://doi.org/10.1007/978-3-030-30806-3
Format: Electronic Resources

Evolutionary Multi-Criterion Optimization 10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019, Proceedings

2024-05-14T14:34:33Z

Yazar Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939
https://doi.org/10.1007/978-3-030-12598-1
Format: Electronic Resources

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

2024-05-14T14:34:33Z

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-14T14:34:33Z

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

Smart Cities, Green Technologies, and Intelligent Transport Systems 6th International Conference, SMARTGREENS 2017, and Third International Conference, VEHITS 2017, Porto, Portugal, April 22-24, 2017, Revised Selected Papers

2024-05-14T14:34:33Z

Yazar Donnellan, Brian. editor.
https://doi.org/10.1007/978-3-030-02907-4
Format: Electronic Resources

Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings

2024-05-14T14:34:33Z

Yazar Beckmann, Arnold. editor.
http://dx.doi.org/10.1007/978-3-319-40189-8
Format: Electronic Resources

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

2024-05-14T14:34:33Z

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

Mathematical Aspects of Computer and Information Sciences 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers

2024-05-14T14:34:33Z

Yazar Kotsireas, Ilias S. editor.
http://dx.doi.org/10.1007/978-3-319-32859-1
Format: Electronic Resources

Finitely Supported Mathematics An Introduction

2024-05-14T14:34:33Z

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-14T14:34:33Z

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

Relaxed Abduction Robust Information Interpretation for Industrial Applications

2024-05-14T14:34:33Z

Yazar Hubauer, Thomas. author.
http://dx.doi.org/10.1007/978-3-658-14407-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-14T14:34:33Z

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-14T14:34:33Z

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

Petri Net Synthesis

2024-05-14T14:34:33Z

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-14T14:34:33Z

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-14T14:34:33Z

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

Words and Graphs

2024-05-14T14:34:33Z

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

Mathematical Problems in Data Science Theoretical and Practical Methods

2024-05-14T14:34:33Z

Yazar Chen, Li M. author.
http://dx.doi.org/10.1007/978-3-319-25127-1
Format: Electronic Resources

Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

2024-05-14T14:34:33Z

Yazar Codescu, Mihai. editor.
http://dx.doi.org/10.1007/978-3-319-28114-8
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-14T14:34:33Z

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

Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings

2024-05-14T14:34:33Z

Yazar Beckmann, Arnold. editor.
http://dx.doi.org/10.1007/978-3-319-20028-6
Format: Electronic Resources

Algorithms for Sensor Systems 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2015, Patras, Greece, September 17-18, 2015, Revised Selected Papers

2024-05-14T14:34:33Z

Yazar Bose, Prosenjit. editor.
http://dx.doi.org/10.1007/978-3-319-28472-9
Format: Electronic Resources

The Foundations of Computability Theory

2024-05-14T14:34:33Z

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-14T14:34:33Z

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-14T14:34:33Z

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

Higher-Order Computability

2024-05-14T14:34:33Z

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-14T14:34:33Z

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

Transactions on Large-Scale Data- and Knowledge-Centered Systems XVI Selected Papers from ACOMP 2013

2024-05-14T14:34:33Z

Yazar Hameurlain, Abdelkader. editor.
http://dx.doi.org/10.1007/978-3-662-45947-8
Format: Electronic Resources

Algorithmic Differentiation of Pragma-Defined Parallel Regions Differentiating Computer Programs Containing OpenMP

2024-05-14T14:34:33Z

Yazar Förster, Michael. author.
http://dx.doi.org/10.1007/978-3-658-07597-2
Format: Electronic Resources

Advances in Artificial Life and Evolutionary Computation 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papers

2024-05-14T14:34:33Z

Yazar Pizzuti, Clara. editor.
http://dx.doi.org/10.1007/978-3-319-12745-3
Format: Electronic Resources

Rewriting and Typed Lambda Calculi Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

2024-05-14T14:34:33Z

Yazar Dowek, Gilles. editor.
http://dx.doi.org/10.1007/978-3-319-08918-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-14T14:34:33Z

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-14T14:34:33Z

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

Regulated Grammars and Automata

2024-05-14T14:34:33Z

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-14T14:34:33Z

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-14T14:34:33Z

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

Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings

2024-05-14T14:34:33Z

Yazar Beckmann, Arnold. editor.
http://dx.doi.org/10.1007/978-3-319-08019-2
Format: Electronic Resources