Mathematical theory of computation books

This volume constitutes the proceedings of the Ninth International Conference on Theorem Proving in Higher Order...  Read More >>

 Read More >>

Modern software places increasing reliance on dynamic memory allocation, but its direct management is not only notoriously...  Read More >>

High level linear algebra book that blends both computational and theoretical aspects, using each to enhance the...  Read More >>

 Read More >>

 Read More >>

High level linear algebra book that blends both computational and theoretical aspects, using each to enhance the...  Read More >>

The topics covered include analysis of term rewriting systems, string and graph rewriting, rewrite-based theorem...  Read More >>

Philosophers of science have produced a variety of definitions for the notion of one sentence, theory or hypothesis...  Read More >>

A large part of today's fervour on robust control research is focused on those techniques which utilise the Variable...  Read More >>

This volume contains the proceedings of ICAOS '96 the 12th International Conference on Analysis and Optimization...  Read More >>

The book has a twofold purpose: it provides access to widely tested computer codes for over 130 numerical algorithms....  Read More >>

This book constitutes the refereed proceedings of the Fifth Scandinavian Workshop on Algorithm Theory, SWAT '96,...  Read More >>

 Read More >>

The papers in this book show the potential of emerging computer paradigms such as genetic algorithms, evolutionary...  Read More >>

Deductive program design aims at methods that guide and support the development of programs by techniques of deduction....  Read More >>

This volume is intended to serve as a graduate-level textbook and reference book for scientists and academics in...  Read More >>

This text resulted from co-operation between a mathematician working in universal algebra and geometry, and a computer...  Read More >>

Frames, together with a modified fundamental construction, provide a powerful recursive mechanism for constructing...  Read More >>

The 27 papers in this volume cover topics including temporal logics, rewriting systems, deduction, theorem proving,...  Read More >>

Incremental computation concerns the re-computation of output after a change in the input, whereas algorithms and...  Read More >>

 Read More >>

Presents work that evolved out of the Third Conference on Situation Theory and Its Applications, held at Oiso, Japan,...  Read More >>

A body of results of new mathematical learning and processing in neural networks. The book also fills in background...  Read More >>

 Read More >>