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

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

J. Richard Büchi (auth.), Dirk Siefkes (eds.)
Έτος:
1989
Γλώσσα:
english
Αρχείο:
PDF, 19.28 MB
0 / 0
english, 1989
2
The Collected Works of J. Richard Büchi

The Collected Works of J. Richard Büchi

Saunders Mac Lane, Dirk Siefkes (auth.), Saunders Mac Lane, Dirk Siefkes (eds.)
Έτος:
1990
Γλώσσα:
english
Αρχείο:
PDF, 28.25 MB
0 / 0
english, 1990
3
Formalisieren und Beweisen: Logik für Informatiker

Formalisieren und Beweisen: Logik für Informatiker

Dirk Siefkes (auth.)
Έτος:
1992
Γλώσσα:
german
Αρχείο:
PDF, 7.50 MB
0 / 0
german, 1992
5
Sichtweisen der Informatik

Sichtweisen der Informatik

Wolfgang Coy (auth.), Wolfgang Coy, Frieder Nake, Jörg-Martin Pflüger, Arno Rolf, Jürgen Seetzen, Dirk Siefkes, Reinhard Stransfeld (eds.)
Έτος:
1992
Γλώσσα:
german
Αρχείο:
PDF, 12.10 MB
0 / 0
german, 1992
6
Formale Methoden und kleine Systeme: Lernen, leben und arbeiten in formalen Umgebungen

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

Dirk Siefkes (auth.)
Έτος:
1992
Γλώσσα:
german
Αρχείο:
PDF, 7.58 MB
0 / 0
german, 1992
8
Formalisieren und Beweisen: Logik für Informatiker

Formalisieren und Beweisen: Logik für Informatiker

Dirk Siefkes (auth.)
Έτος:
1990
Γλώσσα:
german
Αρχείο:
PDF, 37.19 MB
0 / 0
german, 1990
9
Büchi’s Monadic Second Order Successor Arithmetic

Büchi’s Monadic Second Order Successor Arithmetic

Dirk Siefkes (auth.)
Έτος:
1970
Γλώσσα:
german
Αρχείο:
PDF, 12.36 MB
0 / 0
german, 1970
10
GI-4.Jahrestagung: Berlin, 9.–12. Oktober 1974

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

J. Hartmanis, J. Simon (auth.), Prof. Dr. Dirk Siefkes (eds.)
Έτος:
1975
Γλώσσα:
german
Αρχείο:
PDF, 20.41 MB
0 / 0
german, 1975