Dirk Siefkes
Dirk Siefkes
7 books in the database
Books
Formale Methoden und kleine SystemeDirk Siefkes
Formale Methoden und kleine Systeme
Dirk Siefkes · 2012
Pioniere der InformatikDirk Siefkes
Pioniere der Informatik
Dirk Siefkes · 1998
Formalisieren und BeweisenDirk Siefkes
Formalisieren und Beweisen
Dirk Siefkes · 1992
Formale Methoden und kleine SystemeDirk Siefkes
Formale Methoden und kleine Systeme
Dirk Siefkes · 1992
Gi-4.JahrestagungDirk Siefkes
Gi-4.Jahrestagung
Dirk Siefkes · 1975
Sozialgeschichte der InformatikDirk Siefkes
Sozialgeschichte der Informatik
Dirk Siefkes · 2013
Büchi's monadic second order successor arithmeticDirk Siefkes
Büchi's monadic second order successor arithmetic
Dirk Siefkes · 1970
Co-authored books and collections
Books that list Dirk Siefkes among their authors but not as the lead author: co-written works, collections and compilations.
