کتاب های Dirk Siefkes
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 II
J.R. Büchi, D. Siefkes, D. Siefkes, G.H. Müller, 1973
Decidable Theories I
Dirk Siefkes, Gert H. Müller, 1970
Büchi’s Monadic Second Order Successor Arithmetic
Dirk Siefkes (auth.), 1970
Finite Automata, Their Algebras and Grammars: Towards a Theory of Formal Expressions
J. Richard Büchi (auth.), Dirk Siefkes (eds.), 1989
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
GI-4.Jahrestagung: Berlin, 9.–12. Oktober 1974
J. Hartmanis, J. Simon (auth.), Prof. Dr. Dirk Siefkes (eds.), 1975
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
Decidable Theories I
Siefkes D., 1970
Decidable Theories: Vol. 2: The Monadic Second Order Theory of All Countable Ordinals
Büchi J. R., Siefkes D., 1973
Beitragen statt tauschen: Materielle Produktion nach dem Modell Freier Software
Christian Siefkes, 2008
From Exchange to Contributions: Generalizing Peer Production into the Physical World
Christian Siefkes, 2007
Gl-4.Jahrestagung: Berlin, 9.–12. Oktober 1974
J. Hartmanis, J. Simon (auth.), Prof. Dr. D. Siefkes (eds.), 1975
