Buchportal für Bücher die eine ISBN tragen.

Reihe Texts in Computer Science

Buchcover Logic for Applications

Logic for Applications

Buchcover Refinement Calculus

Refinement Calculus

A Systematic Introduction

Ralph-Johan Back

Buchcover On Concurrent Programming

On Concurrent Programming

Fred B. Schneider

Buchcover Deduction Systems

Deduction Systems

Rolf Socher-Ambrosius

Buchcover First-Order Logic and Automated Theorem Proving

First-Order Logic and Automated Theorem Proving

Buchcover A Recursive Introduction to the Theory of Computation

A Recursive Introduction to the Theory of Computation

Buchcover A Recursive Introduction to the Theory of Computation

A Recursive Introduction to the Theory of Computation

Buchcover Descriptive Complexity

Descriptive Complexity

Buchcover On Concurrent Programming

On Concurrent Programming

Fred B. Schneider

Buchcover Descriptive Complexity

Descriptive Complexity

96 Treffer 1 2 3 4 5 6 7 ...