Mathematical theory of computation books

 Read More >>

This volume constitutes the proceedings of the 11th International Conference on Variable Neighborhood Search, ICVNS...  Read More >>

This book constitutes the referred proceedings of the 26th European Conference on Evolutionary Computation in Combinatorial...  Read More >>

 Read More >>

Balanced, in-depth exploration of mathematics in cybersecurity, supported by case studies and other learning features...  Read More >>

Using everyday computational power to tackle complex and seemingly unsolvable math problems  Read More >>

How the computer revolution shaped our conception of rationality-and why human problems require solutions rooted...  Read More >>

 Read More >>

Dieses Lehrbuch präsentiert prüfungsrelevantes Basismaterial für Bachelor-Studierende informatiknaher Studiengänge...  Read More >>

Anhand von vielen Beispielen und digitalen Materialien kann selbst experimentiert, visualisiert und Schritt für...  Read More >>

This book constitutes the refereed proceedings of the 11th International Symposium on Dependable Software Engineering....  Read More >>

This book surveys state-of-the-art research on adversarial robustness of quantum machine learning algorithms. Despite...  Read More >>

This book constitutes the revised selected papers of the 14th International Conference on High-Performance Computing...  Read More >>

This two-volume set CCIS 2743 and 2744 constitutes the refereed proceedings of the 1st International Conference...  Read More >>

High Performance Computing (HPC) continues to play a pivotal role in numerical simulation, modeling, and data-driven...  Read More >>

 Read More >>

This book focuses on the most salient and practical concepts and methods in reliability engineering. As a multidisciplinary...  Read More >>

This book constitutes the proceedings of several workshops which were held in conjunction with the MICAI 2025 International...  Read More >>

 Read More >>

 Read More >>

 Read More >>

Secure computation allows any number of mutually distrustful parties to jointly run an arbitrary computation on...  Read More >>

 Read More >>

The formal verification of multi-agent systems aimed at proving that such systems meet their specifications has...  Read More >>

 Read More >>