Mathematical theory of computation books

As coined in the book of Nassim Taleb, antifragility is a property of a system to gain from uncertainty, randomness,...  Read More >>

This book constitutes the refereed proceedings of the 26th IFIP WG 1.02 International Conference on Descriptional...  Read More >>

 Read More >>

This book LNCS15828 constitutes the refereed proceedings of the 19th International Joint Conference on Theoretical...  Read More >>

This book constitutes the refereed proceedings of the 15th International Conference on Combinatorics on Words, WORDS...  Read More >>

The 4-volume set LNCS constitutes the main proceedings of the 25th International Conference on Computational Science,...  Read More >>

This two-volume set LNCS 15762-15763 constitutes the proceedings of the 22nd International Conference on the Integration...  Read More >>

This two-volume set LNCS 15762-15763 constitutes the proceedings of the 22nd International Conference on the Integration...  Read More >>

This Festschrift celebrates the career of Vivek Sarkar, a pioneer who has influenced research into programming languages,...  Read More >>

Questo volume raccoglie e sviluppa i materiali elaborati negli anni per le lezioni dimostrative e divulgative tenute...  Read More >>

This book presents a state-of-the-art theory in the field of proof complexity, aiming to construct hard propositional...  Read More >>

This book offers a comprehensive exploration of cutting-edge research and developments in the field of cybersecurity....  Read More >>

This book offers a deep dive into quantum teleportation and immune noise models, providing cutting-edge solutions...  Read More >>

This book provides an introduction to mathematics and programming that is specifically designed for use by those...  Read More >>

This book provides an introduction to mathematics and programming that is specifically designed for use by those...  Read More >>

This book offers a captivating exploration of the intersection between mathematics, chaos theory, and dynamical...  Read More >>

This two-volume set, LNCS 15672 and LNCS 15673, constitutes the refereed proceedings of the 13th International Conference...  Read More >>

Der gewählte Zugang beinhaltet: Entwicklung der Grundlagen der Analysis aus algorithmischer Sichtweise, Vergegenständlichung...  Read More >>

This two-volume set, LNCS 15672 and LNCS 15673, constitutes the refereed proceedings of the 13th International Conference...  Read More >>

This book constitutes the refereed proceedings of the 21st Conference on Computability and Logic, CiE 2025, held...  Read More >>

The five-volume set, LNAI 158710 - 15874 constitutes the proceedings of the 29th Pacific-Asia Conference on Knowledge...  Read More >>

The five-volume set, LNAI 158710 - 15874 constitutes the proceedings of the 29th Pacific-Asia Conference on Knowledge...  Read More >>

These proceedings present a curated collection of innovative approaches to tackling challenging problems in applied...  Read More >>

This book provides an easily accessible, yet detailed, discussion of computer arithmetic as mandated by the IEEE...  Read More >>

The two-volume set LNAI 15875 + 15876 constitutes the proceedings of the 29th Pacific-Asia Conference on Knowledge...  Read More >>