Mathematical theory of computation books

This second edition explains how computer software is designed to perform the tasks required for sophisticated statistical...  Read More >>

The first being abstract algebra and the other the fields of applied mathematics such as optimization theory, the...  Read More >>

Contains presentations on visualization problems in mathematics, on fundamental mathematical research in computer...  Read More >>

 Read More >>

Supervision, condition-monitoring, fault detection, fault diagnosis and fault management play an increasing role...  Read More >>

 Read More >>

Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship...  Read More >>

This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM...  Read More >>

There are two major issues in value judgment (1) multiplicity of value judgment and (2) dynamics of value judgment....  Read More >>

 Read More >>

This textbook presents an algorithmic approach to mathematical analysis, with a focus on modelling and on the applications...  Read More >>

This book covers Computational Models for Cell Processes, featuring enhanced contributions from the CompMod workshop...  Read More >>

The papers are organized in topical sections on models for discrete geometry, discrete and combinatorial topology,...  Read More >>

This book constitutes the thoroughly refereed post-conferenceproceedings of the 13th Brazilian Symposium on Formal...  Read More >>

This book constitutes the refereed proceedings of the 15th Annual International Conference on Research in Computational...  Read More >>

This book constitutes the refereed proceedings of the 20th European Symposium on Programming, ESOP 2011, held in...  Read More >>

This book constitutes the refereed proceedings of the 14th International Conference on Fundamental Approaches to...  Read More >>

This book constitutes the refereed proceedings of the 20th International Conference on Compiler Construction, CC...  Read More >>

The research areas included in the book range from Automata, Formal Languages and Computability to various aspects...  Read More >>

Gheorghe Păun has played an important role within a wide range of disciplines, from the foundations of traditional...  Read More >>

This book constitutes the thoroughly referred post-proceedings of the 21st International Workshop on Combinatorial...  Read More >>

This book constitutes the thoroughly refereed post-proceedings of the 14th Annual ERCIM International Workshop on...  Read More >>

Comprises the proceedings of the Instinctive Computing Workshop held at Carnegie Mellon University in the summer...  Read More >>

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Workshop on...  Read More >>

Recent years witnessed an increased interest in formal pragmatics and especially the establishment of game theory...  Read More >>