Mathematical theory of computation books

 Read More >>

This book presents the proceedings of the 10th International Conference on Fundamentals of Computation Theory, FCT...  Read More >>

Presenting the topic from a an applications point of view, this text takes readers from the construction of a simple...  Read More >>

This volume contains versions of selected papers presented at the Second Artificial Intelligence and Sympolic Mathematical...  Read More >>

The purpose of this book is to present a self-contained description of the fun­ damentals of the theory of nonlinear...  Read More >>

This book is the final report on a comprehensive basic research project, named GOSLER on algorithmic learning for...  Read More >>

This volume constitutes the proceedings of the Fourth International Workshop on Algorithms and Data Structures,...  Read More >>

 Read More >>

This book contains revised versions of papers invited for presentation at the International Workshop on Logic and...  Read More >>

NTAMCS '93 brought together researchers from areas of computer science and mathematics that traditionally have been...  Read More >>

Based on a workshop devoted specifically to applications of computer algebra (CA) in science and engineering. The...  Read More >>

These conference proceedings document the exploitation of links between logic and category theory, leading to a...  Read More >>

The research essays collected in this volume cover a range of issues relevant to abstract models, including concepts...  Read More >>

All important aspects of the methods of mathematical logic in computer science are addressed: lambda calculus, proof...  Read More >>

This book presents two major research results on the fast implementation of graph rewriting systems (GRS). First,...  Read More >>

The Handbook describes spline functions and geometric splines and provides simple, but effective algorithms. It...  Read More >>

The computational solution of partial differential systems has become so involved that it is important to automate...  Read More >>

This volume constitutes the proceedings of the Third International Conference on the Mathematics of Program Construction,...  Read More >>

This book constitutes the proceedings of the 11th International...  Read More >>

 Read More >>

 Read More >>

This book develops a treatment the sort of data one obtains from nonlinear systems. Emphasising the use of the modern...  Read More >>

This volume presents the proceedings of the 6th International Symposium on Combinatorial Pattern Matching, CPM '95,...  Read More >>

 Read More >>

Recent developments in H""infinity"" theory have produced a promising new design approach. This text aims to fill...  Read More >>