This book constitutes the proceedings of the 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024, held in Kyoto, Japan, during October 22-24, 2024.
This book constitutes the proceedings of the 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024, held in Kyoto, Japan, during October 22-24, 2024.
This book constitutes the proceedings of the 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, held in Bratislava, Slovak Republic, during January 20-23, 2025.
The three-volume set LNCS 14476-14478 constitutes the post conference proceedings of the 4th International Conference on Numerical Computations: Theory and Algorithms, NUMTA 2023, held in Pizzo Calabro, Italy, during June 14-20, 2023.
This book contains accepted papers presented at ICGEC 2024, the 16th International Conference on Genetic and Evolutionary Computing, held from August 28-29, 2024 in Miyazaki, Japan.
This book constitutes the refereed proceedings of the 21st International Conference, RAMiCS 2024, held in Prague, Czech Republic, during August 19-22, 2024.
This book constitutes the proceedings of the 8th International Joint Conference on Rules and Reasoning, RuleML+RR 2024, held in Bucharest, Romania, during September 16-18, 2024.
This book constitutes the refereed proceedings of the 21st International Conference, RAMiCS 2024, held in Prague, Czech Republic, during August 19-22, 2024.
This book constitutes the proceedings of the 8th International Joint Conference on Rules and Reasoning, RuleML+RR 2024, held in Bucharest, Romania, during September 16-18, 2024.
The two-volume set LNAI 15497 and LNAI 15498 constitutes the refereed proceedings of the 14th International Conference on Brain Inspired Cognitive Systems, BICS 2024, held in Hefei, China, during December 6-8, 2024.
This book constitutes the refereed proceedings of the 22nd International Conference on Business Process Management, BPM 2024, which took place in Krakow, Poland, in September 2024.
This book constitutes the refereed proceedings of the 22nd International Conference on Business Process Management, BPM 2024, which took place in Krakow, Poland, in September 2024.
This book constitutes the refereed proceedings of the 5th Southern African Conference on Artificial Intelligence Research, SACAIR 2024, held in Bloemfontein, South Africa, during December 2-6, 2024.
This book constitutes the refereed proceedings of the 5th Southern African Conference on Artificial Intelligence Research, SACAIR 2024, held in Bloemfontein, South Africa, during December 2-6, 2024.
This textbook details the variety of number formats used by computers, thereby helping to ground readers in what can and cannot be represented accurately, especially by floating-point numbers.
This textbook details the variety of number formats used by computers, thereby helping to ground readers in what can and cannot be represented accurately, especially by floating-point numbers.
This book constitutes the refereed proceedings of the 21st International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2024, held in Umea, Sweden, during August 27-30, 2024.
This book constitutes the refereed proceedings of the 21st International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2024, held in Umea, Sweden, during August 27-30, 2024.
This volume constitutes the papers of two workshops which were held in conjunction with the 21st International Workshop on Software Engineering and Formal Methods, SEFM 2023 Collocated Workshops, held in Eindhoven, The Netherlands, on November 6-10, 2023The 10 full papers presented in this book were carefully reviewed and selected from 16 submissions.
This book constitutes the refereed proceedings of the 16th International Conference on Scalable Uncertainty Management, SUM 2024, held in Palermo, Italy, during November 27-29, 2024.
This book constitutes the refereed proceedings of the 16th International Conference on Scalable Uncertainty Management, SUM 2024, held in Palermo, Italy, during November 27-29, 2024.
This book constitutes the proceedings of the 14th International Conference on Swarm Intelligence, ANTS 2024, which took place in Konstanz, Germany, during October 9-11, 2024.
This book constitutes the proceedings of the 14th International Conference on Swarm Intelligence, ANTS 2024, which took place in Konstanz, Germany, during October 9-11, 2024.
This book constitutes the conference proceedings of the 8th International Conference on Algorithmic Decision Theory, ADT 2024, held in New Brunswick, NJ, USA, during October 14-16, 2024.
This 2-volume set LNCS 15495-15496 constitutes the refereed proceedings of the 25th International Conference on Cryptology in India, held in Chennai, India, during December 18-21, 2024.
This 2-volume set LNCS 15495-15496 constitutes the refereed proceedings of the 25th International Conference on Cryptology in India, held in Chennai, India, during December 18-21, 2024.
This volume constitutes the refereed proceedings of 17th International Symposium on Algorithmic Game Theory, SAGT 2024, held in Amsterdam, The Netherlands, during September 3-6, 2024.
This book constitutes the conference proceedings of the 8th International Conference on Algorithmic Decision Theory, ADT 2024, held in New Brunswick, NJ, USA, during October 14-16, 2024.
This volume constitutes the refereed proceedings of 17th International Symposium on Algorithmic Game Theory, SAGT 2024, held in Amsterdam, The Netherlands, during September 3-6, 2024.
This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembourg, during April 6-7, 2024.
This book constitutes the refereed proceedings of the 10th International Symposium on Symbolic Computation in Software Science, SCSS 2024, which took place in Tokyo, Japan, during August 28-30, 2024.
This book constitutes the refereed proceedings of the 10th International Symposium on Symbolic Computation in Software Science, SCSS 2024, which took place in Tokyo, Japan, during August 28-30, 2024.
This book constitutes the refereed proceedings of the XXIIIrd International Conference on AIxIA 2024 - Advances in Artificial Intelligence, AIxIA 2024, held in Bolzano, Italy, during November 25-28, 2024.
This book constitutes the refereed proceedings of the XXIIIrd International Conference on AIxIA 2024 - Advances in Artificial Intelligence, AIxIA 2024, held in Bolzano, Italy, during November 25-28, 2024.
This book constitutes the refereed proceedings of the 5th International Conference on Neural Computing for Advanced Applications, NCAA 2024, held in Guilin, China, during July 5-7, 2024.
This book constitutes the refereed proceedings of the 5th International Conference on Neural Computing for Advanced Applications, NCAA 2024, held in Guilin, China, during July 5-7, 2024.
This book serves as a comprehensive introduction to quantum computing platforms, inspired by recent advancements in quantum technologies aimed at detecting and manipulating single quantum objects.
This book serves as a comprehensive introduction to quantum computing platforms, inspired by recent advancements in quantum technologies aimed at detecting and manipulating single quantum objects.
The two volume set CCIS 2032 and 2033 constitutes the proceedings of the 11th Congress on Simulation for a Sustainable Future, EUROSIM 2023, which was held in Amsterdam, The Netherlands, during July 3-5, 2023.
The two volume set CCIS 2032 and 2033 constitutes the proceedings of the 11th Congress on Simulation for a Sustainable Future, EUROSIM 2023, which was held in Amsterdam, The Netherlands, during July 3-5, 2023.
This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembourg, during April 6-7, 2024.
The proceedings of the 8th International Symposium on Chaos, Complexity, and Leadership present various concepts of diverse research methodologies to explore chaos and complexity across different scientific fields of leadership.
This book constitutes the proceedings of the 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, held in Bratislava, Slovak Republic, during January 20-23, 2025.
This book constitutes the proceedings of the 18th International Conference on Reachability Problems, RP 2024, which took place in Vienna, Austria, during September 25-27, 2024.
This two-volume set LNCS 14788 and 14789 constitutes the refereed post-conference proceedings of the 15th International Conference on Advances in Swarm Intelligence, ICSI 2024, held in Xining, China, during August 23-26, 2024.
This book constitutes the proceedings of the 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, held in Bratislava, Slovak Republic, during January 20-23, 2025.
The current digital signature methods like RSA, DSA, and ECDSA are relatively simple to understand, and their signing and verification processes operate in comparable time frames.
This book constitutes the refereed proceedings of the 17th International Conference on Simulation of Adaptive Behavior, SAB 2024, held in Irvine, CA, USA, during September 9-12, 2024.
This book constitutes the refereed proceedings of the 14th International Conference on the Theory and Application of Diagrams, Diagrams 2024, held in Munster, Germany, during September 27-October 1, 2024.
