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

Reihe Monographs in Theoretical Computer Science. An EATCS Series

Springer Berlin ×

Buchcover Computability

Klaus Weihrauch

Springer Berlin

Buchcover Temporal Logic of Programs

Temporal Logic of Programs

Springer Berlin

Buchcover First-Order Programming Theories

First-Order Programming Theories

Springer Berlin

Buchcover Finiteness and Regularity in Semigroups and Formal Languages

Finiteness and Regularity in Semigroups and Formal Languages

Springer Berlin

Buchcover Coloured Petri Nets

Coloured Petri Nets

Basic Concepts, Analysis Methods and Practical Use

Springer Berlin

Buchcover Fundamentals of Algebraic Specification 2

Fundamentals of Algebraic Specification 2

Module Specifications and Constraints

Springer Berlin

Buchcover Parsing Theory

Volume I Languages and Parsing

Springer Berlin

Buchcover Compiler Generators

Compiler Generators

What They Can Do, What They Might Do, and What They Will Probably Never Do

Springer Berlin

Buchcover Confluent String Rewriting

Confluent String Rewriting

Matthias Jantzen

Springer Berlin

Buchcover Algorithms in Combinatorial Geometry

Algorithms in Combinatorial Geometry

Herbert Edelsbrunner

Springer Berlin

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