Mathematical theory of computation books

The Turing/von Neumann model of computing is dominant today but is by no means the only one. This textbook explores...  Read More >>

This book constitutes the refereed proceedings of the 21st International Workshop, IWDW 2022, held in Guilin, China,...  Read More >>

This book constitutes the refereed proceedings of the 12th International Conference on High-Performance Computing...  Read More >>

​Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time...  Read More >>

 Read More >>

This book constitutes the refereed proceedings of the 18th European Workshop on Computer Performance Engineering,...  Read More >>

The two-volume set LNAI 13588 and 13589 constitutes the refereed post-conference proceedings of the 21st International...  Read More >>

The two-volume set LNAI 13588 and 13589 constitutes the refereed post-conference proceedings of the 21st International...  Read More >>

The book trains readers to break down various ML applications and methods in terms of data, model, and loss, thus...  Read More >>

This book constitutes the proceedings of the 15th Italian Workshop on Artificial Life and Evolutionary Computation,...  Read More >>

 Read More >>

The text presents modeling topics using Maple as the computer algebra system for solving mathematical equations...  Read More >>

In this popular text for an Numerical Analysis course, the authors introduce several major methods of solving various...  Read More >>

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and...  Read More >>

This book constitutes the proceedings of the 30th International Symposium on Graph Drawing and Network Visualization,...  Read More >>

This book gathers the peer-reviewed proceedings of the 15th Annual Meeting of the Bulgarian Section of the Society...  Read More >>

The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static...  Read More >>

Then, high-order finite elements are presented to design a regular mesh and assemble the stiffness and mass matrices...  Read More >>

 Read More >>

The reader is invited to share this celebration of Teddy Seidenfeld’s work uncovering truths about uncertainty and...  Read More >>

The 2nd edition of the reference on protection of electrical power systems using computer-based methods. It covers...  Read More >>

 Read More >>

This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on the...  Read More >>

The metaverse is like a giant virtual world where you can go and do almost anything you can imagine. It's like a...  Read More >>

This volume constitutes short papers and DETECT 2022 workshop papers, presented during the 11th International Conference...  Read More >>