کتاب های D. Siefkes
کتاب های نویسنده
صفحه ۱ از ۱ در بین ۱۸ کتاب.
DJVU
Decidable Theories II
J.R. Büchi, D. Siefkes, D. Siefkes, G.H. Müller, 1973PDF
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.), 1999PDF
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.), 1998PDF
The Collected Works of J. Richard Büchi
Saunders Mac Lane, Dirk Siefkes (auth.), Saunders Mac Lane, Dirk Siefkes (eds.), 1990DJVU
Decidable Theories I
Siefkes D., 1970DJVU
Decidable Theories I
Dirk Siefkes, Gert H. Müller, 1970PDF
Büchi’s Monadic Second Order Successor Arithmetic
Dirk Siefkes (auth.), 1970DJVU
Decidable Theories: Vol. 2: The Monadic Second Order Theory of All Countable Ordinals
Büchi J. R., Siefkes D., 1973PDF
Finite Automata, Their Algebras and Grammars: Towards a Theory of Formal Expressions
J. Richard Büchi (auth.), Dirk Siefkes (eds.), 1989PDF
Beitragen statt tauschen: Materielle Produktion nach dem Modell Freier Software
Christian Siefkes, 2008PDF
Formale Methoden und kleine Systeme: Lernen, leben und arbeiten in formalen Umgebungen
Dirk Siefkes (auth.), 1992PDF
Formalisieren und Beweisen: Logik für Informatiker
Dirk Siefkes (auth.), 1992PDF
Formalisieren und Beweisen: Logik für Informatiker
Dirk Siefkes (auth.), 1990PDF
From Exchange to Contributions: Generalizing Peer Production into the Physical World
Christian Siefkes, 2007PDF
GI-4.Jahrestagung: Berlin, 9.–12. Oktober 1974
J. Hartmanis, J. Simon (auth.), Prof. Dr. Dirk Siefkes (eds.), 1975DJVU
Gl-4.Jahrestagung: Berlin, 9.–12. Oktober 1974
J. Hartmanis, J. Simon (auth.), Prof. Dr. D. Siefkes (eds.), 1975PDF
Gl-4.Jahrestagung: Berlin, 9.–12. Oktober 1974
J. Hartmanis, J. Simon (auth.), Prof. Dr. D. Siefkes (eds.), 1975PDF
