Mathematical theory of computation books

 Read More >>

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 >>

This clearly structured textbook/reference presents a detailed and comprehensive review of the fundamental principles...  Read More >>

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

 Read More >>

 Read More >>

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

This textbook serves as a companion to ""A Mathematical Introduction to Data Science"". It uses Python programming...  Read More >>

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

 Read More >>

The open access book set LNCS 16556 + 16557 constitutes the refereed proceedings of the 27th International Symposium...  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 >>