MPG.eBooks - Author Search Results

Cover Image

1

GI-4.Jahrestagung : Berlin, 9.–12. Oktober 1974

by Siefkes, Dirk
Published 1975

Springer Berlin Heidelberg

Cover Image

2

Büchi’s Monadic Second Order Successor Arithmetic

by Siefkes, Dirk
Published 1970

Springer Berlin Heidelberg

Cover Image

3

Formalisieren und Beweisen : Logik für Informatiker

by Siefkes, Dirk
Published 1992

Vieweg+Teubner Verlag

Cover Image

4

Formale Methoden und kleine Systeme : Lernen, leben und arbeiten in formalen Umgebungen

by Siefkes, Dirk
Published 1993

Vieweg+Teubner Verlag

Cover Image

5

Decidable Theories : Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic

by Siefkes, Dirk
Published 1970

Springer Berlin Heidelberg

Cover Image

6

Formalisieren und Beweisen : Logik für Informatiker

by Siefkes, Dirk
Published 1990

Vieweg+Teubner Verlag

Cover Image

7

Finite Automata, Their Algebras and Grammars : Towards a Theory of Formal Expressions

by Büchi, J. Richard
Published 1989

Springer New York

Other Authors: “...Siefkes, Dirk...”

Cover Image

8

The Collected Works of J. Richard Büchi

by Büchi, J. Richard
Published 1990

Springer New York

Other Authors: “...Siefkes, Dirk...”

Cover Image

9

Pioniere der Informatik : Ihre Lebensgeschichte im Interview

Published 1999

Springer Berlin Heidelberg

Other Authors: “...Siefkes, Dirk...”