Search Results for - Narrowed by: Springer E-Book Collection - Mathematics of Computing. - Computer science. - Electronic Resources

Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings

2024-05-30T22:26:10Z

Yazar England, Matthew. editor. (orcid)0000-0001-5729-3420
https://doi.org/10.1007/978-3-030-26831-2
Format: Electronic Resources

Fundamentals and Applications of Hardcopy Communication Conveying Side Information by Printed Media

2024-05-30T22:26:10Z

Yazar Mayer, Joceli. author.
https://doi.org/10.1007/978-3-319-74083-6
Format: Electronic Resources

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

2024-05-30T22:26:10Z

Yazar Gerdt, Vladimir P. editor.
https://doi.org/10.1007/978-3-319-99639-4
Format: Electronic Resources

Distributed Computer and Communication Networks 21st International Conference, DCCN 2018, Moscow, Russia, September 17–21, 2018, Proceedings

2024-05-30T22:26:10Z

Yazar Vishnevskiy, Vladimir M. editor.
https://doi.org/10.1007/978-3-319-99447-5
Format: Electronic Resources

Machine Learning, Optimization, and Big Data Third International Conference, MOD 2017, Volterra, Italy, September 14–17, 2017, Revised Selected Papers

2024-05-30T22:26:10Z

Yazar Nicosia, Giuseppe. editor.
https://doi.org/10.1007/978-3-319-72926-8
Format: Electronic Resources

Operations Research and Enterprise Systems 6th International Conference, ICORES 2017, Porto, Portugal, February 23–25, 2017, Revised Selected Papers

2024-05-30T22:26:10Z

Yazar Parlier, Greg H. editor.
https://doi.org/10.1007/978-3-319-94767-9
Format: Electronic Resources

Multi-Objective Optimization Evolutionary to Hybrid Framework

2024-05-30T22:26:10Z

Yazar Mandal, Jyotsna K. editor.
https://doi.org/10.1007/978-981-13-1471-1
Format: Electronic Resources

Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings

2024-05-30T22:26:10Z

Yazar Hoshi, Mizuho. editor.
https://doi.org/10.1007/978-3-319-98654-8
Format: Electronic Resources

Advanced Concepts for Intelligent Vision Systems 19th International Conference, ACIVS 2018, Poitiers, France, September 24–27, 2018, Proceedings

2024-05-30T22:26:10Z

Yazar Blanc-Talon, Jacques. editor.
https://doi.org/10.1007/978-3-030-01449-0
Format: Electronic Resources

Transactions on Computational Science XXXIII

2024-05-30T22:26:10Z

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

Algorithms and Discrete Applied Mathematics 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings

2024-05-30T22:26:10Z

Yazar Panda, B.S. editor.
https://doi.org/10.1007/978-3-319-74180-2
Format: Electronic Resources

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

2024-05-30T22:26:10Z

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

Mathematics and Computing 4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018, Revised Selected Papers

2024-05-30T22:26:10Z

Yazar Ghosh, Debdas. editor.
https://doi.org/10.1007/978-981-13-0023-3
Format: Electronic Resources

Handbook of Model Checking

2024-05-30T22:26:10Z

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

Measurement, Modelling and Evaluation of Computing Systems 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings

2024-05-30T22:26:10Z

Yazar German, Reinhard. editor.
https://doi.org/10.1007/978-3-319-74947-1
Format: Electronic Resources

High Performance Computing in Science and Engineering Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22–25, 2017, Revised Selected Papers

2024-05-30T22:26:10Z

Yazar Kozubek, Tomáš. editor.
https://doi.org/10.1007/978-3-319-97136-0
Format: Electronic Resources

Computational Intelligence, Cyber Security and Computational Models. Models and Techniques for Intelligent Systems and Automation Third International Conference, ICC3 2017, Coimbatore, India, December 14-16, 2017, Proceedings

2024-05-30T22:26:10Z

Yazar Ganapathi, Geetha. editor.
https://doi.org/10.1007/978-981-13-0716-4
Format: Electronic Resources

LATIN 2018: Theoretical Informatics 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings

2024-05-30T22:26:10Z

Yazar Bender, Michael A. editor.
https://doi.org/10.1007/978-3-319-77404-6
Format: Electronic Resources

Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

2024-05-30T22:26:10Z

Yazar Hooker, John. editor. (orcid)0000-0003-3169-1871
https://doi.org/10.1007/978-3-319-98334-9
Format: Electronic Resources

Graphs in Biomedical Image Analysis and Integrating Medical Imaging and Non-Imaging Modalities Second International Workshop, GRAIL 2018 and First International Workshop, Beyond MIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings

2024-05-30T22:26:10Z

Yazar Stoyanov, Danail. editor.
https://doi.org/10.1007/978-3-030-00689-1
Format: Electronic Resources

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

2024-05-30T22:26:10Z

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

Clinical Rehabilitation Experience Utilizing Serious Games Rehabilitation Technology and a Technical Concept for Health Data Collection

2024-05-30T22:26:10Z

Yazar Lawo, Michael. editor.
https://doi.org/10.1007/978-3-658-21957-4
Format: Electronic Resources

Studies on Speech Production 11th International Seminar, ISSP 2017, Tianjin, China, October 16-19, 2017, Revised Selected Papers

2024-05-30T22:26:10Z

Yazar Fang, Qiang. editor.
https://doi.org/10.1007/978-3-030-00126-1
Format: Electronic Resources

Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part II

2024-05-30T22:26:10Z

Yazar Chen, Zhiyong. editor. (orcid)0000-0002-2033-4249
https://doi.org/10.1007/978-3-319-97589-4
Format: Electronic Resources

Transactions on Computational Collective Intelligence XXXI

2024-05-30T22:26:10Z

Yazar Nguyen, Ngoc Thanh. editor.
https://doi.org/10.1007/978-3-662-58464-4
Format: Electronic Resources

Simulation Science First International Workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017, Revised Selected Papers

2024-05-30T22:26:10Z

Yazar Baum, Marcus. editor.
https://doi.org/10.1007/978-3-319-96271-9
Format: Electronic Resources

Artificial Life and Evolutionary Computation 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers

2024-05-30T22:26:10Z

Yazar Pelillo, Marcello. editor. (orcid)0000-0001-8992-9243
https://doi.org/10.1007/978-3-319-78658-2
Format: Electronic Resources

Artificial Intelligence 29th Benelux Conference, BNAIC 2017, Groningen, The Netherlands, November 8–9, 2017, Revised Selected Papers

2024-05-30T22:26:10Z

Yazar Verheij, Bart. editor.
https://doi.org/10.1007/978-3-319-76892-2
Format: Electronic Resources

Computer Games 6th Workshop, CGW 2017, Held in Conjunction with the 26th International Conference on Artificial Intelligence, IJCAI 2017, Melbourne, VIC, Australia, August, 20, 2017, Revised Selected Papers

2024-05-30T22:26:10Z

Yazar Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374
https://doi.org/10.1007/978-3-319-75931-9
Format: Electronic Resources

Space in Weak Propositional Proof Systems

2024-05-30T22:26:10Z

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

Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

2024-05-30T22:26:10Z

Yazar Blömer, Johannes. editor.
https://doi.org/10.1007/978-3-319-72453-9
Format: Electronic Resources

Algorithms for Sensor Systems 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2016, Aarhus, Denmark, August 25-26, 2016, Revised Selected Papers

2024-05-30T22:26:10Z

Yazar Chrobak, Marek. editor.
https://doi.org/10.1007/978-3-319-53058-1
Format: Electronic Resources

Smart Cities Second International Conference, Smart-CT 2017, Málaga, Spain, June 14-16, 2017, Proceedings

2024-05-30T22:26:10Z

Yazar Alba, Enrique. editor.
https://doi.org/10.1007/978-3-319-59513-9
Format: Electronic Resources

The Mathematical-Function Computation Handbook Programming Using the MathCW Portable Software Library

2024-05-30T22:26:10Z

Yazar Beebe, Nelson H.F. author.
https://doi.org/10.1007/978-3-319-64110-2
Format: Electronic Resources

The Musical-Mathematical Mind Patterns and Transformations

2024-05-30T22:26:10Z

Yazar Pareyon, Gabriel. editor.
https://doi.org/10.1007/978-3-319-47337-6
Format: Electronic Resources

Geometric Science of Information Third International Conference, GSI 2017, Paris, France, November 7-9, 2017, Proceedings

2024-05-30T22:26:10Z

Yazar Nielsen, Frank. editor. (orcid)0000-0001-5728-0726
https://doi.org/10.1007/978-3-319-68445-1
Format: Electronic Resources

Verifiable Composition of Signature and Encryption A Comprehensive Study of the Design Paradigms

2024-05-30T22:26:10Z

Yazar El Aimani, Laila. author.
https://doi.org/10.1007/978-3-319-68112-2
Format: Electronic Resources

BNAIC 2016: Artificial Intelligence 28th Benelux Conference on Artificial Intelligence, Amsterdam, The Netherlands, November 10-11, 2016, Revised Selected Papers

2024-05-30T22:26:10Z

Yazar Bosse, Tibor. editor.
https://doi.org/10.1007/978-3-319-67468-1
Format: Electronic Resources

Mathematics and Computing Third International Conference, ICMC 2017, Haldia, India, January 17-21, 2017, Proceedings

2024-05-30T22:26:10Z

Yazar Giri, Debasis. editor.
https://doi.org/10.1007/978-981-10-4642-1
Format: Electronic Resources

Operations Research and Enterprise Systems 5th International Conference, ICORES 2016, Rome, Italy, February 23-25, 2016, Revised Selected Papers

2024-05-30T22:26:10Z

Yazar Vitoriano, Begoña. editor.
https://doi.org/10.1007/978-3-319-53982-9
Format: Electronic Resources

Task Scheduling for Multi-core and Parallel Architectures Challenges, Solutions and Perspectives

2024-05-30T22:26:10Z

Yazar Chen, Quan. author.
https://doi.org/10.1007/978-981-10-6238-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-05-30T22:26:10Z

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

EVOLVE – A Bridge between Probability, Set Oriented Numerics and Evolutionary Computation VII

2024-05-30T22:26:10Z

Yazar Emmerich, Michael. editor.
https://doi.org/10.1007/978-3-319-49325-1
Format: Electronic Resources

Advances in Neural Networks - ISNN 2017 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21–26, 2017, Proceedings, Part I

2024-05-30T22:26:10Z

Yazar Cong, Fengyu. editor.
https://doi.org/10.1007/978-3-319-59072-1
Format: Electronic Resources

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings

2024-05-30T22:26:10Z

Yazar Antonucci, Alessandro. editor. (orcid)0000-0001-7915-2768
https://doi.org/10.1007/978-3-319-61581-3
Format: Electronic Resources

Data Analytics for Renewable Energy Integration 4th ECML PKDD Workshop, DARE 2016, Riva del Garda, Italy, September 23, 2016, Revised Selected Papers

2024-05-30T22:26:10Z

Yazar Woon, Wei Lee. editor.
https://doi.org/10.1007/978-3-319-50947-1
Format: Electronic Resources

Modern Language Models and Computation Theory with Applications

2024-05-30T22:26:10Z

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

Innovative Security Solutions for Information Technology and Communications 10th International Conference, SecITC 2017, Bucharest, Romania, June 8–9, 2017, Revised Selected Papers

2024-05-30T22:26:10Z

Yazar Farshim, Pooya. editor.
https://doi.org/10.1007/978-3-319-69284-5
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-30T22:26:10Z

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

Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

2024-05-30T22:26:10Z

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

Advances in Neural Networks - ISNN 2017 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21–26, 2017, Proceedings, Part II

2024-05-30T22:26:10Z

Yazar Cong, Fengyu. editor.
https://doi.org/10.1007/978-3-319-59081-3
Format: Electronic Resources

Internet of Vehicles. Technologies and Services for Smart Cities 4th International Conference, IOV 2017, Kanazawa, Japan, November 22-25, 2017, Proceedings

2024-05-30T22:26:10Z

Yazar Peng, Sheng-Lung. editor.
https://doi.org/10.1007/978-3-319-72329-7
Format: Electronic Resources

The Incomputable Journeys Beyond the Turing Barrier

2024-05-30T22:26:10Z

Yazar Cooper, S. Barry. editor.
https://doi.org/10.1007/978-3-319-43669-2
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-30T22:26:10Z

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

Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

2024-05-30T22:26:10Z

Yazar Gerdt, Vladimir P. editor.
https://doi.org/10.1007/978-3-319-66320-3
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-30T22:26:10Z

Yazar Takagi, Tsuyoshi. editor.
https://doi.org/10.1007/978-3-319-70697-9
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-30T22:26:10Z

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

Introduction to Mathematica® with Applications

2024-05-30T22:26:10Z

Yazar Mureşan, Marian. author.
https://doi.org/10.1007/978-3-319-52003-2
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-30T22:26:10Z

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

Principles and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

2024-05-30T22:26:10Z

Yazar Beck, J. Christopher. editor.
https://doi.org/10.1007/978-3-319-66158-2
Format: Electronic Resources

Scalable Uncertainty Management 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings

2024-05-30T22:26:10Z

Yazar Moral, Serafín. editor. (orcid)0000-0002-5555-0857
https://doi.org/10.1007/978-3-319-67582-4
Format: Electronic Resources

Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25–26, 2017, Revised Selected Papers

2024-05-30T22:26:10Z

Yazar Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106
https://doi.org/10.1007/978-3-319-71255-0
Format: Electronic Resources

Privately and Publicly Verifiable Computing Techniques A Survey

2024-05-30T22:26:10Z

Yazar Demirel, Denise. author.
https://doi.org/10.1007/978-3-319-53798-6
Format: Electronic Resources

Queueing Theory and Network Applications 12th International Conference, QTNA 2017, Qinhuangdao, China, August 21-23, 2017, Proceedings

2024-05-30T22:26:10Z

Yazar Yue, Wuyi. editor.
https://doi.org/10.1007/978-3-319-68520-5
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-30T22:26:10Z

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

Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings

2024-05-30T22:26:10Z

Yazar Olivetti, Nicola. editor.
http://dx.doi.org/10.1007/978-3-319-40229-1
Format: Electronic Resources

Linear Algebra for Computational Sciences and Engineering

2024-05-30T22:26:10Z

Yazar Neri, Ferrante. author.
http://dx.doi.org/10.1007/978-3-319-40341-0
Format: Electronic Resources

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I

2024-05-30T22:26:10Z

Yazar Wyrzykowski, Roman. editor.
http://dx.doi.org/10.1007/978-3-319-32149-3
Format: Electronic Resources

Applications of Evolutionary Computation 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part I

2024-05-30T22:26:10Z

Yazar Squillero, Giovanni. editor.
http://dx.doi.org/10.1007/978-3-319-31204-0
Format: Electronic Resources

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

2024-05-30T22:26:10Z

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

Applications of Evolutionary Computation 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part II

2024-05-30T22:26:10Z

Yazar Squillero, Giovanni. editor.
http://dx.doi.org/10.1007/978-3-319-31153-1
Format: Electronic Resources

Finitely Supported Mathematics An Introduction

2024-05-30T22:26:10Z

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

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II

2024-05-30T22:26:10Z

Yazar Wyrzykowski, Roman. editor.
http://dx.doi.org/10.1007/978-3-319-32152-3
Format: Electronic Resources

Compression-Based Methods of Statistical Analysis and Prediction of Time Series

2024-05-30T22:26:10Z

Yazar Ryabko, Boris. author.
http://dx.doi.org/10.1007/978-3-319-32253-7
Format: Electronic Resources

High Performance Computing in Science and Engineering Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers

2024-05-30T22:26:10Z

Yazar Kozubek, Tomáš. editor.
http://dx.doi.org/10.1007/978-3-319-40361-8
Format: Electronic Resources

Evolutionary and Biologically Inspired Music, Sound, Art and Design 5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings

2024-05-30T22:26:10Z

Yazar Johnson, Colin. editor.
http://dx.doi.org/10.1007/978-3-319-31008-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-05-30T22:26:10Z

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

Advances in Neural Networks – ISNN 2016 13th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016, Proceedings

2024-05-30T22:26:10Z

Yazar Cheng, Long. editor.
http://dx.doi.org/10.1007/978-3-319-40663-3
Format: Electronic Resources

Principles and Practice of Constraint Programming 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings

2024-05-30T22:26:10Z

Yazar Rueher, Michel. editor.
http://dx.doi.org/10.1007/978-3-319-44953-1
Format: Electronic Resources

Turing Computability Theory and Applications

2024-05-30T22:26:10Z

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

Random-Like Bi-level Decision Making

2024-05-30T22:26:10Z

Yazar Xu, Jiuping. author.
http://dx.doi.org/10.1007/978-981-10-1768-1
Format: Electronic Resources

Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

2024-05-30T22:26:10Z

Yazar Wittevrongel, Sabine. editor.
http://dx.doi.org/10.1007/978-3-319-43904-4
Format: Electronic Resources

Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs

2024-05-30T22:26:10Z

Yazar Herdt, Vladimir. author.
http://dx.doi.org/10.1007/978-3-658-12680-3
Format: Electronic Resources

Relaxed Abduction Robust Information Interpretation for Industrial Applications

2024-05-30T22:26:10Z

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-30T22:26:10Z

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

Boolean Functions and Their Applications in Cryptography

2024-05-30T22:26:10Z

Yazar Wu, Chuan-Kun. author.
http://dx.doi.org/10.1007/978-3-662-48865-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-30T22:26:10Z

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

Cryptography Made Simple

2024-05-30T22:26:10Z

Yazar Smart, Nigel P. author.
http://dx.doi.org/10.1007/978-3-319-21936-3
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-30T22:26:10Z

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-30T22:26:10Z

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-30T22:26:10Z

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

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

2024-05-30T22:26:10Z

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-30T22:26:10Z

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

Petri Net Synthesis

2024-05-30T22:26:10Z

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-30T22:26:10Z

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

Higher-Order Computability

2024-05-30T22:26:10Z

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-30T22:26:10Z

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-30T22:26:10Z

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-30T22:26:10Z

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-30T22:26:10Z

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-30T22:26:10Z

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-30T22:26:10Z

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-30T22:26:10Z

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-30T22:26:10Z

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-30T22:26:10Z

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-30T22:26:10Z

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

Words and Graphs

2024-05-30T22:26:10Z

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-30T22:26:10Z

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-30T22:26:10Z

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

Morphological Modeling of Terrains and Volume Data

2024-05-30T22:26:10Z

Yazar Čomić, Lidija. author.
http://dx.doi.org/10.1007/978-1-4939-2149-2
Format: Electronic Resources

Mathematical Tools for Data Mining Set Theory, Partial Orders, Combinatorics

2024-05-30T22:26:10Z

Yazar Simovici, Dan A. author.
http://dx.doi.org/10.1007/978-1-4471-6407-4
Format: Electronic Resources

Swarm Intelligence 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings

2024-05-30T22:26:10Z

Yazar Dorigo, Marco. editor.
http://dx.doi.org/10.1007/978-3-319-09952-1
Format: Electronic Resources

Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings

2024-05-30T22:26:10Z

Yazar O’Sullivan, Barry. editor.
http://dx.doi.org/10.1007/978-3-319-10428-7
Format: Electronic Resources

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

2024-05-30T22:26:10Z

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

Data Analytics for Renewable Energy Integration Second ECML PKDD Workshop, DARE 2014, Nancy, France, September 19, 2014, Revised Selected Papers

2024-05-30T22:26:10Z

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

Computational Musicology in Hindustani Music

2024-05-30T22:26:10Z

Yazar Chakraborty, Soubhik. author.
http://dx.doi.org/10.1007/978-3-319-11472-9
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-30T22:26:10Z

Yazar Pizzuti, Clara. editor.
http://dx.doi.org/10.1007/978-3-319-12745-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-30T22:26:10Z

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-05-30T22:26:10Z

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

Regulated Grammars and Automata

2024-05-30T22:26:10Z

Yazar Meduna, Alexander. author.
http://dx.doi.org/10.1007/978-1-4939-0369-6
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-30T22:26:10Z

Yazar Dowek, Gilles. editor.
http://dx.doi.org/10.1007/978-3-319-08918-8
Format: Electronic Resources

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

2024-05-30T22:26:10Z

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

Fundamentals of Matrix-Analytic Methods

2024-05-30T22:26:10Z

Yazar He, Qi-Ming. author.
http://dx.doi.org/10.1007/978-1-4614-7330-5
Format: Electronic Resources

Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings

2024-05-30T22:26:10Z

Yazar Beierle, Christoph. editor.
http://dx.doi.org/10.1007/978-3-319-04939-7
Format: Electronic Resources

Biomedical Image Registration 6th International Workshop, WBIR 2014, London, UK, July 7-8, 2014. Proceedings

2024-05-30T22:26:10Z

Yazar Ourselin, Sébastien. editor.
http://dx.doi.org/10.1007/978-3-319-08554-8
Format: Electronic Resources

Nonlinear Dynamics of Electronic Systems 22nd International Conference, NDES 2014, Albena, Bulgaria, July 4-6, 2014. Proceedings

2024-05-30T22:26:10Z

Yazar Mladenov, Valeri M. editor.
http://dx.doi.org/10.1007/978-3-319-08672-9
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-30T22:26:10Z

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

Open Problems in Mathematics and Computational Science

2024-05-30T22:26:10Z

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

Cryptography in Constant Parallel Time

2024-05-30T22:26:10Z

Yazar Applebaum, Benny. author.
http://dx.doi.org/10.1007/978-3-642-17367-7
Format: Electronic Resources

Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I

2024-05-30T22:26:10Z

Yazar Wyrzykowski, Roman. editor.
http://dx.doi.org/10.1007/978-3-642-55224-3
Format: Electronic Resources

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

2024-05-30T22:26:10Z

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

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

2024-05-30T22:26:10Z

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

Algorithms for Sensor Systems 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers

2024-05-30T22:26:10Z

Yazar Flocchini, Paola. editor.
http://dx.doi.org/10.1007/978-3-642-45346-5
Format: Electronic Resources

Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings

2024-05-30T22:26:10Z

Yazar Demri, Stéphane. editor.
http://dx.doi.org/10.1007/978-3-319-08587-6
Format: Electronic Resources