Dirk Siefkes

6 books • 4 series

Oct 1, 1992
Cover of Formale Methoden und Kleine Systeme

Formale Methoden und Kleine Systeme (Theorie der Informatik)

Aug 1, 1992
Cover of Sichtweisen der Informatik

Sichtweisen der Informatik (Theorie der Informatik)

Jan 1, 1990
Cover of Formalisieren und Beweisen

Formalisieren und Beweisen (Lehrbuch Informatik)

Jan 1, 1975
Cover of GI-4.Jahrestagung

GI-4.Jahrestagung (Lecture Notes in Computer Science, #26)

Jan 1, 1970
Cover of Decidable Theories

Decidable Theories (Lecture Notes in Mathematics, #328)

Jan 1, 1970
Cover of Buchi's Monadic Second Order Successor Arithmetic

Buchi's Monadic Second Order Successor Arithmetic (Lecture Notes in Mathematics)