کتاب های D. Siefkes
Decidable Theories II
J.R. Büchi, D. Siefkes, D. Siefkes, G.H. Müller, 1973
Pioniere der Informatik: Ihre Lebensgeschichte im Interview
Prof. Dr. Dirk Siefkes, Dipl.-Soz. Anette Braun (auth.), Prof. Dr. Dirk Siefkes, Dipl.-Soz. Anette Braun, Dipl.-Inf. Peter Eulenhöfer, Dipl.-Inf. Heike Stach, Klaus Städtler M. A. (eds.), 1999
Sozialgeschichte der Informatik: Kulturelle Praktiken und Orientierungen
Peter Eulenhöfer, Dirk Siefkes, Heike Stach, Klaus Städtler (auth.), Dirk Siefkes, Peter Eulenhöfer, Heike Stach, Klaus Städtler (eds.), 1998
The Collected Works of J. Richard Büchi
Saunders Mac Lane, Dirk Siefkes (auth.), Saunders Mac Lane, Dirk Siefkes (eds.), 1990
Decidable Theories I
Siefkes D., 1970
Decidable Theories I
Dirk Siefkes, Gert H. Müller, 1970
Büchi’s Monadic Second Order Successor Arithmetic
Dirk Siefkes (auth.), 1970
Decidable Theories: Vol. 2: The Monadic Second Order Theory of All Countable Ordinals
Büchi J. R., Siefkes D., 1973
Finite Automata, Their Algebras and Grammars: Towards a Theory of Formal Expressions
J. Richard Büchi (auth.), Dirk Siefkes (eds.), 1989
Beitragen statt tauschen: Materielle Produktion nach dem Modell Freier Software
Christian Siefkes, 2008
Formale Methoden und kleine Systeme: Lernen, leben und arbeiten in formalen Umgebungen
Dirk Siefkes (auth.), 1992
Formalisieren und Beweisen: Logik für Informatiker
Dirk Siefkes (auth.), 1992
Formalisieren und Beweisen: Logik für Informatiker
Dirk Siefkes (auth.), 1990
From Exchange to Contributions: Generalizing Peer Production into the Physical World
Christian Siefkes, 2007
GI-4.Jahrestagung: Berlin, 9.–12. Oktober 1974
J. Hartmanis, J. Simon (auth.), Prof. Dr. Dirk Siefkes (eds.), 1975
Gl-4.Jahrestagung: Berlin, 9.–12. Oktober 1974
J. Hartmanis, J. Simon (auth.), Prof. Dr. D. Siefkes (eds.), 1975
Gl-4.Jahrestagung: Berlin, 9.–12. Oktober 1974
J. Hartmanis, J. Simon (auth.), Prof. Dr. D. Siefkes (eds.), 1975
