Mathematical theory of computation books

 Read More >>

Presents probabilistic representations for classical boundary value problems of mathematical physics, and is devoted...  Read More >>

This monograph is a comprehensive treatment of the theoretical and computational aspects of numerical integration....  Read More >>

This volume presents the proceedings of the Fourth International Workshop on Analogical and Inductive Inference...  Read More >>

This volume presents papers given at the 7th International Meeting of Young Computer Scientists, held in November...  Read More >>

Die Zukunft der modernen Industriegesellschaft hängt letztlich nicht von ökonomischen, vielmehr von kulturellen...  Read More >>

 Read More >>

A look at the role of calculus in computer science. This book is written from the computer science perspective....  Read More >>

This text contains original reviews in the field of mathematical linguistics and formal language theory. Topics...  Read More >>

The conference papers contained in this volume have been organized into chapters on automatic graph drawing and...  Read More >>

This volume presents the proceedings of the 8th International Workshop on Distributed Algorithms (WDAG '94), held...  Read More >>

This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and...  Read More >>

Examines significant developments in the field of parallel symbolic computation. This text covers algorithms, languages,...  Read More >>

 Read More >>

The studies are devoted to the Turing machine model introduced by Stearns, Hartmanis, and Lewis (1965) with a two-way...  Read More >>

 Read More >>

Still today I am receiving requests for reprints of the book, but unfortunately it is out of print. A brewery had...  Read More >>

This treatise investigates a number of problems related to treewidth and pathwidth of graphs. In total, the book...  Read More >>

The topics covered include symbolic constraints, set constraints, numerical constraints, multi-paradigm programming,...  Read More >>

This volume constitutes the proceedings of the Fourth International Conference on Algebraic and Logic Programming...  Read More >>

This conference, organized jointly by UTC and INRIA, is the biennial general conference of the IFIP Technical Committee...  Read More >>

Explores two complementary topics, namely: the coding algorithms made to compress the data rate of digital moving-picture...  Read More >>

Diese Einfuhrung in die Theoretische Informatik fur das Grundstudium stellt Modelle fur zentrale Probleme der Informatik...  Read More >>

The methods of the theory of rough sets have applications in many sub-areas of artificial intelligence including...  Read More >>

 Read More >>