Mathematical theory of computation books

Den Abschluß bilden die Anhänge ""Korrespondenzen und Funktionen"", ""Datenendgeräte"" und ""Zur Geschichte der...  Read More >>

Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of...  Read More >>

Worin liegen Attraktion und Nutzen des logischen Programmierens, was sind die charakteristischen Unterschiede zu...  Read More >>

Die Informatik hat sich zu einer wissenschaftlichen Disziplin entwickelt, die in vielfältiger Weise Methoden und...  Read More >>

Die Gedankenwelt der Logik gewinnt in der 1nformatik zunehmend an Bedeutung. Der Anspruch, immer komplexere Aufgaben...  Read More >>

 Read More >>

This book is a collection of surveys and exploratory articles about recent developments in the field of computational...  Read More >>

This book provides the reader with all the tools necessary to implement modern error-processing schemes. It assumes...  Read More >>

This book discusses a class of algorithms based on the principle of evolution - survival of the fittest. Evolution...  Read More >>

This volume contains the proceedings of the ThirdInternational Conference on Algebraic and Logic Programming,held...  Read More >>

 Read More >>

This volume contains the papers accepted for presentation atthe Fourth International Symposium on Programming...  Read More >>

A collection of conference papers which includes discussion of graph layout problems, parallel recognition and ranking...  Read More >>

This book includes the revised papers presented at the NATO ARW ""Information Technology and Mathematical Problem...  Read More >>

Code Generation - Concepts, Tools, Techniques is based upon the proceedings of the Dagstuhl workshop on code generation...  Read More >>

An edited volume containing data structures and algorithms for information retrieved including a disk with examples...  Read More >>

Das vorliegende Buch ist aus zehnjahriger U nterrichtserfahrung des Autors am Neu-Technikum Buchs und an der ETH...  Read More >>

   Read More >>

In zehn Vorlesungen umrei~t dieses Buch das geistige Umfeld der Informationstechnik aus der fast 50-j{hrigen Erfahrung...  Read More >>

Shape Optimization is a classical field of the calculus of variations, optimal control theory and structural optimization....  Read More >>

 Read More >>

For a period of five years about a dozenprojects were funded with an emphasis on algorithms and...  Read More >>

This work provides an introduction to the fundamental theory of material deformation simulation and a detailed survey...  Read More >>

Papers from a colloquium held by the Studiengang Informatik of the Universit'at Bremen in June 1990.  Read More >>

 Read More >>