Mathematical theory of computation books

Contains some invited lectures on subjects as diverse as document preparation systems, fractals, number theory,...  Read More >>

In this monograph we study two generalizations of standard unification, E-unification and higher-order unification,...  Read More >>

Identifying the input-output relationship of a system or discovering the evolutionary law of a signal on the basis...  Read More >>

Proceedings of the IABEM Symposium, Rome, Italy, October 15-19, 1990  Read More >>

Dieses Lehrbuch vermittelt die Grundlagen von Entwurf, Implementierung und Validierung zeitdiskreter Simulationsmodelle...  Read More >>

 Read More >>

Starting with Cook's pioneering work on NP-completeness in 1970, polynomial complexity theory, the study of polynomial-time...  Read More >>

4. Fachtagung ""Informatik und Schule"", veranstaltet vom Fachbereich 7 ""Ausbildung und Beruf"" der GI und der...  Read More >>

This volume presents the proceedings of the tenth Marktoberdorf Summer School, with the theme Logic, Algebra, and...  Read More >>

Following Karmarkar's 1984 linear programming algorithm,numerous interior-point algorithms have been proposed...  Read More >>

 Read More >>

The Generalized Nets (GNs), are extensions of Petri nets and of different Petri nets modifications. This book gives...  Read More >>

This volume contains papers selected from the contributionsto the 4th International Workshop on Graph Grammars...  Read More >>

Tagungsband der 6. GI/ITG-Fachtagung ""Messung, Modellierung und Bewertung von Rechensystemen. Tagungsinhalt ist...  Read More >>

Die 7. \sterreichische Artificial-Intelligence-Tagung fand vom 24.-27. September 1991 an der Technischen Universit{t...  Read More >>

This volume contains selected papers from FCT '91. Topics covered include: semantics and logical concepts, automata...  Read More >>

Alan Turing's 1937 paper, ""On Computable Numbers"", was a landmark of the coming computer age. This volume of essays...  Read More >>

CONCUR '91 is the second international conference on concurrency theory, organised in association with the NFI project...  Read More >>

This volume contains the proceedings of the 16th International Symposium on Mathematical Foundations of Computer...  Read More >>

This monograph presents a general algorithm for use in building theorem provers and logic programming systems. The...  Read More >>

Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions...  Read More >>

In many engineering problems different types of nonlinearities have to be considered at the same time. Due to the...  Read More >>

This work consists of a selection of papers from the proceedings of a special session on topology and category theory...  Read More >>

The purpose and organisation of this book are described in the preface to the first edition (1988). I would like...  Read More >>

This book presents papers from EUROCODE '90. It gives the state of the art on coding in Europe and ranges from theoretical...  Read More >>