Mathematical theory of computation books

This book constitutes the refereed proceedings of the 18th International Conference on Runtime Verification, RV...  Read More >>

 Read More >>

In addition, coverage also looks at the explanatory role of mathematics and the philosophical relevance of mathematical...  Read More >>

 Read More >>

This easy-to-follow textbook/reference presents a concise introduction to mathematical analysis from an algorithmic...  Read More >>

The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical...  Read More >>

It includes new research results in quantum information theory, quantum measurement theory, information thermodynamics,...  Read More >>

Go is a highly preferred language for machine learning. The code is close to how it’s actually executed in the machine....  Read More >>

This book constitutes the refereed post-conference proceedings of the 25th International Colloquium on Structural...  Read More >>

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International...  Read More >>

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International...  Read More >>

 Read More >>

This book includes 27 chapters and presents a great number of real-world applications of swarm intelligence algorithms...  Read More >>

 Read More >>

A Programmer's Introduction to Mathematics uses your familiarity with ideas from programming and software to teach...  Read More >>

This book presents a collection of research papers that address the challenge of how to develop software in a principled...  Read More >>

This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which...  Read More >>

This book offers a comprehensive and accessible exposition of Euclidean Distance Matrices (EDMs) and rigidity theory...  Read More >>

 Read More >>

This introduction to the field of hyper-heuristics presents the required foundations and tools and illustrates some...  Read More >>

Part III explores how entities can enable search engines to understand the concepts, meaning, and intent behind...  Read More >>

The ICTAC conference aims at bringing together researchers and practitioners from academia, industry and government...  Read More >>

This book constitutes the revised selected papers from the 15th European Conference on Multi-Agent Systems, EUMAS...  Read More >>

This book explores the most significant computational methods and the history of their development. It begins with...  Read More >>

This book investigates the permutation polynomial (PP) based interleavers for turbo codes, including all the main...  Read More >>