Mathematical theory of computation books

Computer Science: The Hardware, Software and Heart of It focuses on the deeper aspects of the two recognized subdivisions...  Read More >>

This volume constitutes the refereed proceedings of the Third IFIP WG 5.4. Working Conference on Computer Aided...  Read More >>

Computers pose a great ch- lenge to mathematical sciences, as the range of phenomena available for rigorous mathematical...  Read More >>

This book constitutes the documentation of the scientific outcome of the first meeting of the TIMELY network, the...  Read More >>

This book describes new tools for front end analog designers, starting with global variation-aware sizing, and extending...  Read More >>

This volume contains refereed papers and extended abstracts of papers presented at the NATO Advanced Research Workshop...  Read More >>

The aim of this book is to present fundamentals of algebraicspecifications with respect to the following three aspects:fundamentals...  Read More >>

Intends to lay a common basis for the different branches of recursion theory. Leads from the very basic theory to...  Read More >>

 Read More >>

Furthermore, combinatorial optimization problems occur in many diverse areas such as linear and integer programming,...  Read More >>

This book constitutes the refereed proceedings of the 10th International Conference on Cryptology and Network Security,...  Read More >>

Combinatory logic started as a programme in the foundation of mathematics and in an historical context at a time...  Read More >>

 Read More >>

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

This book constitutes the refereed proceedings of the 22nd International Symposium on Algorithms and Computation,...  Read More >>

This book constitutes the proceedings of the 17th International Conference on the Theory and Application of Cryptology...  Read More >>

This book discusses the use of the real numbers in theorem proving. We de­ scribe the rigorous definitional construction...  Read More >>

This book details the theory, algorithms, and applications of structured low-rank approximation, and presents efficient...  Read More >>

Indeed, automata theory and the closely related theory of formal languages form nowadays such a highly developed...  Read More >>

This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs,...  Read More >>

This book constitutes the refereed proceedings of the 9th Asian Symposium on Programming Languages and Systems,...  Read More >>

Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta-...  Read More >>

This volume contains the articles presented at the 20th International Meshing Roundtable (IMR) organized, in part,...  Read More >>

Multimedia environments suggest to us a new perception of the state of changes in and the integration of new technologies...  Read More >>

Expanding on the highly successful formula of the first edition, this book now serves as the primary textbook of...  Read More >>