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

Reihe Texts in Computer Science

Buchcover A Recursive Introduction to the Theory of Computation

A Recursive Introduction to the Theory of Computation

Buchcover Descriptive Complexity

Descriptive Complexity

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 Understanding Concurrent Systems

Understanding Concurrent Systems

Springer London

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

313 Treffer 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 ...