Dirk Siefkes
Dirk Siefkes
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Personal name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryFM
Formale Methoden und kleine Systeme
cover - Image source: Open LibraryPD
Pioniere der Informatik
cover - Image source: Open LibraryPD
Pioniere der Informatik
cover - Image source: Open LibraryFM
Formale Methoden und kleine Systeme
cover - Image source: Open LibraryFU
Formalisieren und Beweisen
cover - Image source: Open LibraryTC
The Collected Works of J. Richard Büchi
cover - Image source: Open LibraryG
Gi-4.Jahrestagung
cover - Image source: Open LibraryBM
BFuchi's monadic second order successor arithmetic
cover - FAFinite Automata, Their Algebras...Dirk Siefkes
Finite Automata, Their Algebras and Grammars
no cover - SDSozialgeschichte der InformatikDirk Siefkes
Sozialgeschichte der Informatik
no cover - DTDecidable Theories : Vol. 1Dirk Siefkes
Decidable Theories : Vol. 1
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Formale Methoden und kleine Systeme
- Open Work
Pioniere der Informatik
- Open Work
Pioniere der Informatik
- Open Work
Formale Methoden und kleine Systeme
- Open Work
Formalisieren und Beweisen
- Open Work
The Collected Works of J. Richard Büchi
- Open Work
Gi-4.Jahrestagung
- Open Work
BFuchi's monadic second order successor arithmetic
- Open Work
Finite Automata, Their Algebras and Grammars
- Open Work
Sozialgeschichte der Informatik
- Open Work
Decidable Theories : Vol. 1