Mathematical theory of computation books

 Read More >>

C-XSC is a tool for the development of numerical algorithms delivering highly accurate and automatically verified...  Read More >>

The parallel algorithms presented in this monograph are applicable to a wider class of practical systems than those...  Read More >>

This text explains how to use relational and graph-theoretic methods systematically in computer science. Results...  Read More >>

Not very long ago, the uninhibited use of mathematics in thedevelopment of software was regarded as something foracademics...  Read More >>

This volume presents the proceedings of a conference on ordered structure and algebra of computer language. Contributors...  Read More >>

The purpose of this book is to cover a spectrum of developments in network optimization problems, from linear networks...  Read More >>

Developments in discrete and computational geometry are summarised in this book. Emphasis is put on those questions...  Read More >>

In the 1960s it wasdiscovered that the types of typed lambda calculi are infact appearances of logical...  Read More >>

The 18th International Workshop on Graph-Theoretic Conceptsin Computer Science (WG '92) was held inWiesbaden-Naurod,...  Read More >>

Advances in microelectronic technology have made massivelyparallel computing a reality and triggered an...  Read More >>

The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who...  Read More >>

A second edition of the textbook originally published in 1988. It is an introduction to the theory and practice...  Read More >>

 Read More >>

ROBETH (written in ANSI FORTRAN 77) is a systematized collection of algorithms that allows computation of a broad...  Read More >>

The underlying theme of the monograph is the study of two classical problems: counting the elements of a finite...  Read More >>

The maintopics covered by the joint workshop are:- specification languagesand program development- algebraic specification...  Read More >>

 Read More >>

"Presents P.J. Plauger's views on how to be a software entrepreneur; the innards of floating-point arithmetic; and...  Read More >>

Formal specification is the name given to the use of discrete mathematics in computer science for describing the...  Read More >>

Dieses Buch richtet sich an Menschen, die sich bislang nicht mit Fragen der Informatik beschaftigt haben, sich aber...  Read More >>

Vorwort Die Möglichkeiten zur Kontrolle komplexer Systeme, die die heutige Informations- und Kommunikationstechnik...  Read More >>

Durch die rasche Hardware-Entwicklung, die vor allem durch immer schnellere Rechner und größere Speicherkapazitäten...  Read More >>

1 Vgl. dazu Porter (1985), S. 18. 2 Vgl. dazu z.B Cecil, J./Hall, A. (1988). 3 Vgl. Wittmann (1959). 4 Vgl. zu den...  Read More >>

Presents a comprehensive view of open distributed systems. The starting point is a small number of core concepts...  Read More >>