Mathematical Theory of Computation

A comprehensive exploration of the mathematics behind the modeling and rendering of computer graphics scenes Mathematical Structures for Computer G...

This book gathers the peer-reviewed proceedings of the 16th Annual Meeting of the Bulgarian Section of the Society for Industrial and Applied Mathe...

The purpose of this book is to teach quantum computing hardware from an engineers perspective. Engineers play an important role in quantum computer...

This book provides a comprehensive guide to the design and analysis of quantum secure communication schemes. While quantum computers may provide a ...

This book and its sister volume collect refereed papers presented at the 7th Inter- tional Symposium on Neural Networks (ISNN 2010), held in Shangh...

Handbook of Discrete and Combinatorial Mathematics provides a comprehensive reference volume for mathematicians, computer scientists, engineers, as...

This LNCS volume contains the best papers presented at the 9th Conference on 1 Arti?cial Evolution, EA 2009, held in Strasbourg (France). Previous ...

Problem Solving is essential to solve real-world problems. Advanced Problem Solving with Maple: A First Course applies the mathematical modeling pr...

This book constitutes the refereed proceedings of the 5th Southern African Conference on Artificial Intelligence Research, SACAIR 2024, held in Blo...

This book gathers the peer-reviewed proceedings of the 17th Annual Meeting of the Bulgarian Section of the Society for Industrial and Applied Mathe...

Quantum computing is not merely an incremental advancement in computing technology; it represents a fundamentally different paradigm from classical...

Quantum computing is not merely an incremental advancement in computing technology; it represents a fundamentally different paradigm from classical...

This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in ...

This book explores the dynamically developing areas of quantum computing and quantum cryptography. The book offers an in-depth examination of the p...

This three-volume set constitutes the proceedings of the 23rd International Semantic Web Conference, ISWC 2023, held in Hanover, MD, USA, during No...

This volume contains the proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010). IJCAR 2010 was held during July...

Evolutionary Computation (EC) techniques are e?cient, nature-inspired me- ods based on the principles of natural evolution and genetics. Due to the...

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications o...

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications o...

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications o...

Multi-robot coordinated fencing, where a team of robots forms a protective formation around a target, has garnered significant attention and proven...

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications o...