Mathematical theory of computation books

This book constitutes the refereed proceedings of the 33rd International Colloquium on Structural Information and...  Read More >>

This revised and expanded second edition incorporates recent advances in formal methods and program verification,...  Read More >>

 Read More >>

This book constitutes the refereed post proceedings of the 19th International Conference on Advances in Computer...  Read More >>

This book constitutes the proceedings of the 15th International Conference on Swarm Intelligence, ANTS 2026, which...  Read More >>

This book constitutes the refereed proceedings of the 12th International Conference on Rigorous State-Based Methods,...  Read More >>

Dieses Lehrbuch für das Grundstudium soll angehende Informatikerinnen und Informatiker dazu inspirieren, mathematische...  Read More >>

 Read More >>

This book constitutes the proceedings of the 16th International Workshop on Statistical Atlases and Computational...  Read More >>

This book explores the emerging paradigm of Agentic AI, where Large Language Models (LLMs) and Reinforcement Learning...  Read More >>

 Read More >>

This book constitutes the proceedings of the 4th International Workshop on Explainable Artificial Intelligence in...  Read More >>

This book provides a comprehensive introduction to some key subjects in logic, category theory, algebra and topology....  Read More >>

A detailed overview of differential equations on graphs, suitable for researchers and graduate students in mathematical...  Read More >>

This book constitutes the refereed proceedings of the 21st International Conference on Web and Internet Economics,...  Read More >>

This FLOPS 2026 constitutes the proceedings of the 18th International Symposium on Functional and Logic Programming,...  Read More >>

This Festschrift is dedicated to Martin Fränzle, a leading researcher in formal methods and cyber-physical systems....  Read More >>

The two-volume set LNCS 16493 + 16494 constitutes the revised selected papers of the 30th European Conference on...  Read More >>

This book provides an easy-to-read introduction to quantum computing and introduces readers to a set of software...  Read More >>

This volume brings together fourteen essays authored by distinguished mathematicians from India, offering a panoramic...  Read More >>

This book presents fundamentals of quantum computing and Internet of Things (IoT). It covers many applications of...  Read More >>

The two-volume set LNCS 16493 + 16494 constitutes the revised selected papers of the 30th European Conference on...  Read More >>

 Read More >>

 Read More >>

 Read More >>