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 8 offersUS$ 30.00
-
Büchi s Monadic Second Order Successor Arithmetic
Siefkes, Dirk
Item prices starting from
View 13 offersUS$ 12.12
-
Formalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik) (German Edition)
Siefkes, Dirk
Item prices starting from
View 10 offersUS$ 19.94
-
Formalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik) (German Edition)
Siefkes, Dirk
Item prices starting from
View 18 offersUS$ 14.04
-
Pioniere der Informatik: Ihre Lebensgeschichte im Interview (German Edition)
Item prices starting from
View 32 offersUS$ 19.06
-
-
GI - 4. Jahrestagung: Berlin, 9.-12. Oktober 1974 (Lecture Notes in Computer Science) (German and English Edition)
Item prices starting from
View 11 offersUS$ 63.18
Also find
New -
Formale Methoden und kleine Systeme: Lernen, leben und arbeiten in formalen Umgebungen (XTheorie der Informatik) (German Edition)
Siefkes, Dirk
Item prices starting from
View 10 offersUS$ 109.32
