Mathematical theory of computation books

 Read More >>

Unter Berücksichtigung der technologischen Möglichkeiten und der zu beachtenden Rahmenbedingungen erstellt die Autorin...  Read More >>

This monograph covers a method of parallel computing which uses VLSI technology in an efficient manner: data are...  Read More >>

This book is aimed at two kinds of readers: firstly, people working in or near mathematics, who are curious about...  Read More >>

This book is aimed at two kinds of readers: firstly, people working in or near mathematics, who are curious about...  Read More >>

This volume contains the proceedings of the thirdInternational Workshop on Computer Aided Verification, CAV'91,...  Read More >>

Computer software affects our daily lives in many ways, so we need it to be error-free and reliable. This book is...  Read More >>

 Read More >>

Originally presented as the author's thesis (doctoral)--Universit'at Karlsruhe under the title: Automatische Synthese...  Read More >>

This adaptation of an earlier work by the authors is a graduate text and professional reference on the fundamentals...  Read More >>

 Read More >>

The four chapters of this volume, written by prominent workers in the field of adaptive processing and linear prediction,...  Read More >>

This volume contains the proceedings of the fifthInternational Workshop on Distributed Algorithms (WDAG '91)held...  Read More >>

This volume is the proceedings of LATIN '92, the first of an intended series of symposia on theoretical informatics...  Read More >>

This volume contains selected papers presented at theseventeenth Colloquiumon Trees in Algebra and Programming(CAAP)...  Read More >>

Objekt-orientierte Datenbanksysteme werden von vielen Forschern als die ""n{chste Generation"" der Datenbanktechnologie...  Read More >>

Neuere Entwicklungen im Datenbank- und Informationssystembereich sind u.a. gekennzeichnet durch die Bereitstellung...  Read More >>

The technique used was a tableau method, constructing a tableau according to the formula and the local structure...  Read More >>

A comprehensive introduction to the concepts of multisensor data fusion. With a diverse set of mathematical and...  Read More >>

The purpose of this monograph is to describe a class of com-putational methods, based on polynomial matrices,...  Read More >>

Volume 5 in a set of six devoted to the study of the mathematical knowledge required by researchers in mechanics,...  Read More >>

The International Workshop on ""The Use of Supercomputers in Theoretical Science"" took place on January 24 and...  Read More >>

This volume contains contributions to the 17th Internationalworkshop on Graph-Theoretic Concepts in Computer...  Read More >>

This volume contains papers presented at the firstinternational workshop onword equations and related topicsheld...  Read More >>

Aims to describe a new approach for the design of high-efficiency control of multi-dimensional systems operating...  Read More >>