Mathematical theory of computation books

This book emphasizes the creative aspects of algorithm design by examining steps used in the process of algorithms...  Read More >>

Der vorliegende Text solI Studenten von Fachhochschulen, Berufsaka- demien und vergleichbaren Einrichtungen einen...  Read More >>

Ais zu Beginn der achtziger Jahre die ersten 64K Computer mit hochauflo sender Bildschirmgraphik ihren Einzug in...  Read More >>

Turbo Pascal gehOrt stftrker denn je zu den ftuBerst erfolgreich ein- gesetzten Programmiersprachen. Mit der nun...  Read More >>

Das vorliegende Wegweiser-Buch flihrt den Leser zum erfolgreichen Einsatz des Planungs­ systems Multiplan und ist...  Read More >>

Software-Tools ermöglichen es dem Benutzer, Probleme am PC in bedienungsfreundlicher Umgebung zu lösen. Zählt man...  Read More >>

This volume contains the texts of the principal survey papers presented at ALGORITHMS -and ORDER, held· at Ottawa,...  Read More >>

Thema der Arbeit ist das zentrale Problem logischer Programmiersprachen: ein optimales Gleichgewicht zwischen sprachlicher...  Read More >>

Petri-Netze und damit verwandte Systemmodelle sind zur Spezifikation, formalen Untersuchung und zur Simulation von...  Read More >>

The idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community...  Read More >>

Im Rahmen des Forschungsprojektes IPSEN (Incremental Programming Support Environment) wurden Konzepte zum Bau hochgradig...  Read More >>

Replacement systems, such as term rewriting systems, tree manipulat­ ing systems, and graph grammars, have been...  Read More >>

An introduction to parallel computation and the application of parallel algorithms to numerical linear algebra,...  Read More >>

 Read More >>

Besides attractive invited papers the volume contains carefully reviewed submitted papers on the following topics:...  Read More >>

This book is a systematic exposition of the theory of ratio- nal formal power series and the associated formal languages....  Read More >>

 Read More >>

In diesem Lehrbuch werden die grundlegenden Begriffe der Theoretischen Informatik - Berechenbarkeit, Entscheidbarkeit,...  Read More >>

This volume collects papers presented at the 2nd International Workshop on Object-Oriented Database Systems (ooDBS-II)...  Read More >>

This volume contains the papers which were presented to the workshop ""Computer-Science Logic"" held in Karlsruhe...  Read More >>

Most major themes of research in database theory are covered in ICDT '88: the relational model, logic and databases,...  Read More >>

 Read More >>

The study of formal languages and of related families of automata has long been at the core of theoretical computer...  Read More >>

The book gives a very clear and concise summary of the important fields of sequence transformations and convergence...  Read More >>

The theory of parsing is an important application area of the theory of formal languages and automata. Context-free...  Read More >>