Dirk Siefkes
Popular items by Dirk Siefkes
View all offers-
Decidable Theories: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic (Lecture Notes in Mathematics, 120)
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 14 offersUS$ 12.10
-
Formalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik) (German Edition)
Siefkes, Dirk
Item prices starting from
View 18 offersUS$ 13.97
-
Formalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik) (German Edition)
Siefkes, Dirk
Item prices starting from
View 11 offersUS$ 19.83
-
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.06
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
