Mathematical theory of computation books

 Read More >>

A collection of conference papers which discuss topics in computer mathematics. Subjects covered include: computations...  Read More >>

This monograph combines research in multigrid methods with the particular application field of process simulation....  Read More >>

Dieses Lehrbuch behandelt verständlich, umfassend und modern die Theorie der Berechenbarkeit, ein klassisches Gebiet...  Read More >>

Algorithms and Data Structures in C++ introduces modern issues in the theory of algorithms, emphasizing complexity,...  Read More >>

The proceedings of a conference on theoretical computer science, which includes discussion of algorithms, automata...  Read More >>

The Third Kurt G|del Symposium, KGC'93, held in Brno, CzechRepublic, August1993, is the third in a series of biennialsymposia...  Read More >>

The proceedings of a computer science logic workshop, this volume covers such topics as Turing machines, the logic...  Read More >>

This books describes 148 algorithms which are essential for serious number-theoretic computations, in particular...  Read More >>

Efficient deterministic parsing algorithms have been developed for parsing programming languages, and quite different...  Read More >>

This enlarged third edition has been updated to the most recent version of Reduce (3.4.1) and large-scale simulations....  Read More >>

 Read More >>

These newdevelopments in logic are partly based on the use ofalgorithmic techniques in deduction and proving...  Read More >>

The third Conference on Computation and Control was held at Montana State University in Bozeman, Montana from August...  Read More >>

Our idea behind this book is to summarize such results which might otherwise not be easily accessible in the literature,...  Read More >>

An in-depth survey of the applications of logic in artificial intelligence and computer science. This first volume...  Read More >>

This collection of papers arose from a series of lecturesfor workers in computer science and other disciplines....  Read More >>

Voss' book which deals with theoretical problems of digital image processing is a source of information for those...  Read More >>

 Read More >>

Presents the proceedings of the 16th German Conference on Artificial Intelligence, held in Germany in 1992. Topics...  Read More >>

Focuses on the fundamental results in operator algebras. This work discusses results including Gelfand's representation...  Read More >>

 Read More >>

 Read More >>

Algebraic specification, nondeterminism and term rewriting are three active research areas aiming at concepts for...  Read More >>

This monograph provides an investigation of the fixed point or iteration operation, which plays a role in the theory...  Read More >>