Releases by Dirk Siefkes

All9
Hardcover Book1
Paperback Book8

In stock at iMusic Show unavailable items

Cover for Dirk Siefkes · Pioniere Der Informatik: Ihre Lebensgeschichte Im Interview (Paperback Book) [Softcover Reprint of the Original 1st 1999 edition] (2012)

Softcover Reprint of the Original 1st 1999 edition

Pioniere Der Informatik: Ihre Le... (2012)

Cover for Dirk Siefkes · Pioniere Der Informatik: Ihre Lebensgeschichte Im Interview (Hardcover Book) [1999 edition] (1998)

Pioniere Der Informatik: Ihre Le... (1998)

Cover for Dirk Siefkes · Sozialgeschichte Der Informatik: Kulturelle Praktiken Und Orientierungen - Studien Zur Wissenschafts- Und Technikforschung (Paperback Book) [1998 edition] (1998)

Sozialgeschichte Der Informatik:... (1998)

Cover for Dirk Siefkes · Formale Methoden und Kleine Systeme - Theorie der Informatik (Paperback Book) [1993 edition] (1992)

Formale Methoden und Kleine Syst... (1992)

Cover for Dirk Siefkes · Formalisieren Und Beweisen: Logik Für Informatiker (Lehrbuch Informatik) (German Edition) (Paperback Book) [German, 2. Aufl. 1992 edition] (1992)

German, 2. Aufl. 1992 edition

Formalisieren Und Beweisen: Logi... (1992)

Cover for Dirk Siefkes · Formalisieren und Beweisen - Lehrbuch Informatik (Paperback Book) [1990 edition] (1990)

Formalisieren und Beweisen - Leh... (1990)

Cover for Dirk Siefkes · Gi-4.Jahrestagung: Berlin, 9.-12. Oktober 1974 - Lecture Notes in Computer Science (Paperback Book) [1975 edition] (1975)

Gi-4.Jahrestagung: Berlin, 9.-12... (1975)

Cover for Dirk Siefkes · Decidable Theories (Buchi's Monadic Second Order Successor Arithmetic) - Lecture Notes in Mathematics (Paperback Book) (1970)

Decidable Theories (Buchi's Mona... (1970)

Cover for Dirk Siefkes · Buchi's Monadic Second Order Successor Arithmetic - Lecture Notes in Mathematics (Paperback Book) [German, 1970 edition] (1970)

German, 1970 edition

Buchi's Monadic Second Order Suc... (1970)