Mathematical theory of computation books

This volume presents the proceedings of the Second Workshop on Algorithms and Data Structures (WADS '91), held at...  Read More >>

 Read More >>

The AAECC conferences focus on the algebraic aspects of modern computer science, which include the most up-to-date...  Read More >>

Der Sammelband wird eingeleitet durch einen Überblick über den Stand der Technikfolgenabschätzung in der Telekommunikation...  Read More >>

Die Gestaltung von Informationssystemen, ihre Organisation und ihr Betrieb, werden angesichts komplexerer Anforderungen...  Read More >>

Devoted to the interaction of modern scientific computation and classical number theory, covering subjects from...  Read More >>

Proceedings of the 4th of a series of workshops on distributed algorithms. The workshop was a forum for researchers...  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 monograph presents a geometrical investigation of practical and theoretical problems arising from NC pocket...  Read More >>

With the appearance of parallel computers, increased attention has been paid to algorithms which reply upon analogies...  Read More >>

 Read More >>

Innovative progress in the development of parallel computing systems has caused a rise of interest in the scientific...  Read More >>

The innovative progress in the development of large- and small-scale parallel computing systems and their increasing...  Read More >>

Das Buch Hypertext/Hypermedia '91 ist der Tagungsband des gleichnamigen Symposiums, das im Juni 1991 in Graz/Osterreich...  Read More >>

These proceedings contain the papers presented at a workshop on Designing Correct Circuits, jointly organised by...  Read More >>

This work provides a basis by which instruments and transducers can be selected, assembled and integrated with a...  Read More >>

This volume gives the proceedings of WG '90, organised into sections on: Graph algorithms and complexity, VLSI layout,...  Read More >>

This book is concerned with analysing and assessing the reliability of networks of computer, distribution, and telecommunication...  Read More >>

- Application of discrete structures in computer science: syntax and semantics of programming languages, operational...  Read More >>

Dieses Buch über elementare Aussagenlogik (wie auch seine geplante Fortsetzung über Elementare Prädikatenlogik und...  Read More >>

The proceedings of TAPSOFT '91 are organized into three parts: Colloquium on Trees in Algebra and Programming (CAAP),...  Read More >>

in die Rechtsinformatik Mit 97 Abbildungen Springer-Verlag Berlin Heidelberg N ew York London Paris Tokyo Hong Kong...  Read More >>

This is the latest in a series of volumes presenting recent results on Petri nets to the general computer science...  Read More >>

This book investigates the various aspects of shape optimization of two­ dimensional continuum structures, including...  Read More >>

These proceedings are devoted to recent research in computational fluid mechanics, including an analysis of parallel...  Read More >>