Mathematical theory of computation books

Current research into formal methods for hardware design is presented in the papers in this volume. The goal of...  Read More >>

 Read More >>

This was the first workshop entirely devoted to the verification of finite state systems. The workshop brought together...  Read More >>

in die Informatik Von Prof. Dr. rer. nat. Gunter Hotz UniversiHit Saarbriicken 83 B. G. Teubner Stuttgart 1990 Prof....  Read More >>

Nachdem unter dem Begriff Informationsmanagement sowohl von Herstellern von DV-Anlagen und Software-Produkten...  Read More >>

Turbo Pascal ist seit langem die Standardsprache fUr die Programmierung von Mikrocomputern. Durch die Versionen...  Read More >>

"" Deswegen beginnt jeder Teil dieses Buches mit einer Geschichte, die als Arbeitsmaterial dient: Die Einführung...  Read More >>

Software-Tools ermbglichen es dem Benutzer, Probleme am PC in bedienungsfreundlicher Umgebung zu Ibsen. Zahlt man...  Read More >>

 Read More >>

Using a traditional deductive approach, this book looks into the fundamental ideas in discrete mathematics, including...  Read More >>

Provides a collection of algorithms implemented in C. This work describes many algorithms in each of the following...  Read More >>

 Read More >>

Contains the proceedings of the AMS-SIAM Summer Seminar on Computational Aspects of VLSI Design, held at the Institute...  Read More >>

This volume contains the full text of twenty-six of the thirty-one papers given at the Montreux 1989 International...  Read More >>

Since the early seventies concepts of specification have become central in the whole area of computer science. The...  Read More >>

This book contains in easily accessible form all the main ideas of the creator and principal architect of algorithmic...  Read More >>

The Voronoi diagram of a set of sites is a partition of the plane into regions, one to each site, such that the...  Read More >>

Funktionale Programmiersprachen sind seiteneffektfrei und bilden daher eine vielversprechende Basis für die Programmierung...  Read More >>

The objective of this work is to compile the mathematical knowledge required by researchers in mechanics, physics,...  Read More >>

(He himself would have sharply objected to the qualifier ""theoretical,"" because he more or less identified science...  Read More >>

Internetzwerke, bestehend aus miteinander gekoppelten lokalen und öffentlichen Datennetzen (LAN, WAN), sowie Methoden...  Read More >>

Dirac's formalism of quantum mechanics was always praised for its elegance. This book introduces the student to...  Read More >>

Dieses Buch enthält die Beiträge einer Tagung, die gemeinsam vom Fachbereich ""Ausbildung und Beruf"" der Gesellschaft...  Read More >>

Durch die Reihe der GI-Kongresse über wissensbasierte Systeme wird eine größere Öffentlichkeit über den Stand der...  Read More >>

This volume contains selected papers of the International Workshop on ""Categorical Methods in Computer Science...  Read More >>