Dirk Siefkes
Popular items by Dirk Siefkes
View all offers-
Decidable Theories: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
Siefkes, Dirk
Item prices starting from
View 7 offers£ 23.07
-
Formalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik)
Siefkes, Dirk
Item prices starting from
View 17 offers£ 10.40
-
Formalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik)
Siefkes, Dirk
Item prices starting from
View 10 offers£ 14.77
-
Büchi’s Monadic Second Order Successor Arithmetic (Lecture Notes in Mathematics)
Siefkes, Dirk
Item prices starting from
View 13 offers£ 8.70
-
Pioniere der Informatik: Ihre Lebensgeschichte im Interview
Item prices starting from
View 28 offers£ 14.66
-
Sozialgeschichte der Informatik: Kulturelle Praktiken und Orientierungen (Studien zur Wissenschafts- und Technikforschung)
Item prices starting from
View 8 offers£ 40.49
Also find
New -
GI-4.Jahrestagung: Berlin, 9.–12. Oktober 1974: 26 (Lecture Notes in Computer Science, 26)
Siefkes, Dirk
Item prices starting from
View 10 offers£ 42.95
Also find
New -
Formale Methoden und kleine Systeme: Lernen, leben und arbeiten in formalen Umgebungen (XTheorie der Informatik)
Siefkes, Dirk
Item prices starting from
View 10 offers£ 84.07
