Mathematical theory of computation books

This book is a collection of test problems for evaluating and testing constrained global optimisation algorithms....  Read More >>

This first part presents chapters on models of computation, complexity theory, data structures, and efficient computation...  Read More >>

 Read More >>

Based on the proceedings of a conference organized by the Institute of Mathematics and its Applications. The papers...  Read More >>

These are the proceedings of a symposium on the mathematical foundations of theoretical computer science, the 15th...  Read More >>

 Read More >>

 Read More >>

Aufgrund des wachsenden Bedarfs an Kommunikationsprotokoll-Implementierungen zur Bil dung von Rechnemetzen und modemen...  Read More >>

The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between...  Read More >>

 Read More >>

An introduction to and an up-to-date survey of numerical continuation methods with both predictor-corrector and...  Read More >>

Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, describing original research on algorithms and...  Read More >>

The objective of this work is to compile the mathematical knowledge required by researchers in mechanics, physics,...  Read More >>

The book is divided into two sections, ""Geometries and Codes"" and ""Geometries and Cryptography"". The first part...  Read More >>

This would seem to indicate that many of the essential aspects of diagnostic reasoning are a type of intuiti- based,...  Read More >>

The field of complexity theory takes its name from this seminal paper and many of the major concepts and issues...  Read More >>

 Read More >>

Proceedings of the Fifteenth Colloquium on Trees in Algebra and Programming. Topics covered include logical, algebraic...  Read More >>

This volume II of a two-volume set assumes knowledge of the topics in Volume I but is otherwise nearly self-contained....  Read More >>

Die Ausnahmebehandlung ist ein vor allem bei der Automatisierung technischer Prozeßsysteme eingesetztes Sprachmittel....  Read More >>

Die Beiträge dieses Tagungsbands befassen sich aus der Sicht der Linguistischen Datenverarbeitung und ihrer benachbarten...  Read More >>

An introduction for nonmathematicians. The book stresses intuitive understanding rather than abstract theory. Concepts...  Read More >>

This text systematically resorts to a symbolic computation code to present finite elements in such a way that they...  Read More >>

The papers report new results and techniques in applications of deductive systems, deductive program synthesis and...  Read More >>

Here is a presentation of LISP which is both practical and theoretical. As the title suggests, the book reaches...  Read More >>