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

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

2024-05-31T02:51:28Z

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

Operations Research and Enterprise Systems Third International Conference, ICORES 2014, Angers, France, March 6-8, 2014, Revised Selected Papers

2024-05-31T02:51:28Z

Yazar Pinson, Eric. editor.
http://dx.doi.org/10.1007/978-3-319-17509-6
Format: Electronic Resources

Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings

2024-05-31T02:51:28Z

Yazar Jain, Rahul. editor.
http://dx.doi.org/10.1007/978-3-319-17142-5
Format: Electronic Resources

Engineering Computation of Structures: The Finite Element Method

2024-05-31T02:51:28Z

Yazar Neto, Maria Augusta. author.
http://dx.doi.org/10.1007/978-3-319-17710-6
Format: Electronic Resources

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

2024-05-31T02:51:28Z

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-31T02:51:28Z

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

Petri Net Synthesis

2024-05-31T02:51:28Z

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

Introduction to Cryptography Principles and Applications

2024-05-31T02:51:28Z

Yazar Delfs, Hans. author.
http://dx.doi.org/10.1007/978-3-662-47974-2
Format: Electronic Resources

Higher-Order Computability

2024-05-31T02:51:28Z

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

Data Analytics for Renewable Energy Integration Third ECML PKDD Workshop, DARE 2015, Porto, Portugal, September 11, 2015. Revised Selected Papers

2024-05-31T02:51:28Z

Yazar Woon, Wei Lee. editor.
http://dx.doi.org/10.1007/978-3-319-27430-0
Format: Electronic Resources

The Foundations of Computability Theory

2024-05-31T02:51:28Z

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

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

2024-05-31T02:51:28Z

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

Foundation Mathematics for Computer Science A Visual Approach

2024-05-31T02:51:28Z

Yazar Vince, John. author.
http://dx.doi.org/10.1007/978-3-319-21437-5
Format: Electronic Resources

Introduction to Concurrency Theory Transition Systems and CCS

2024-05-31T02:51:28Z

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-31T02:51:28Z

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

Principles and Practice of Constraint Programming 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings

2024-05-31T02:51:28Z

Yazar Pesant, Gilles. editor.
http://dx.doi.org/10.1007/978-3-319-23219-5
Format: Electronic Resources

Algorithms for Sensor Systems 10th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2014, Wroclaw, Poland, September 12, 2014, Revised Selected Papers

2024-05-31T02:51:28Z

Yazar Gao, Jie. editor.
http://dx.doi.org/10.1007/978-3-662-46018-4
Format: Electronic Resources

Operations Research and Enterprise Systems 4th International Conference, ICORES 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers

2024-05-31T02:51:28Z

Yazar de Werra, Dominique. editor.
http://dx.doi.org/10.1007/978-3-319-27680-9
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-31T02:51:28Z

Yazar Codescu, Mihai. editor.
http://dx.doi.org/10.1007/978-3-319-28114-8
Format: Electronic Resources

Words and Graphs

2024-05-31T02:51:28Z

Yazar Kitaev, Sergey. author.
http://dx.doi.org/10.1007/978-3-319-25859-1
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-31T02:51:28Z

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

Mathematical Problems in Data Science Theoretical and Practical Methods

2024-05-31T02:51:28Z

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