Mathematical theory of computation books

 Read More >>

This book features selected papers from the 7th International Conference on Mathematics and Computing (ICMC 2021),...  Read More >>

This book constitutes the refereed proceedings of the 98th International Symposium on Integrated Uncertainty in...  Read More >>

This monograph offers an original broad and very diverse exploration of the seriation domain in data analysis, together...  Read More >>

 Read More >>

This book constitutes the proceedings of the 15th International Workshop on Frontiers in Algorithmics, FAW 2021,...  Read More >>

 Read More >>

The scientific study of statistical models and algorithms that computer systems use in order to perform a specific...  Read More >>

Iterative methods use successive approximations to obtain more accurate solutions. This volume presents historical...  Read More >>

This book features a selection of extended papers presented at the 9th IFIP WG 12.6 International Workshop on Artificial...  Read More >>

This book offers a defense against non-classical approaches to the paradoxes. In fact, he believes classical solutions...  Read More >>

This textbook is intended for practical, laboratory sessions associated with the course of quantum computing and...  Read More >>

 Read More >>

This book presents a complete and accurate study of arithmetic and algebraic circuits. The first part offers a review...  Read More >>

This book reviews evidence for the existence of information storing states present in specific materials systems...  Read More >>

This book constitutes the refereed conference proceedings of the 30th International Conference on Inductive Logic...  Read More >>

 Read More >>

The three volume set LNCS 13155, 13156, and 13157 constitutes the refereed proceedings of the 21st International...  Read More >>

 Read More >>

This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE...  Read More >>

This book constitutes the proceedings of the 16th International Conference on Algorithms and Computation, WALCOM...  Read More >>

This two-volume set constitutes the refereed proceedings of the workshops which complemented the 21th Joint European...  Read More >>

Zur Definition und Simulation formaler Sprachen mit regulären Ausdrücken, formalen Grammatiken und abstrakten Automaten...  Read More >>

Introduces students to numerical issues that arise in linear algebra and its applications. A wide range of techniques...  Read More >>

This book, written by the foremost international researchers and practitioners of genetic programming (GP), explores...  Read More >>