Kategorien

Zu "Siefkes, Dirk" wurden 6 Produkte gefunden

Filter
–
Formale Methoden und kleine Systeme
Formale Methoden und kleine Systeme Siefkes, Dirk

74,99 €*
Formalisieren und Beweisen
Formalisieren und Beweisen Siefkes, Dirk

69,99 €*
Decidable Theories
Decidable Theories Siefkes, Dirk

26,70 €*
Formalisieren und Beweisen
Formalisieren und Beweisen Siefkes, Dirk

54,99 €*
Büchi¿s Monadic Second Order Successor Arithmetic
Büchi¿s Monadic Second Order Successor Arithmetic Siefkes, Dirk

49,99 €*
GI-4.Jahrestagung
GI-4.Jahrestagung Siefkes, Dirk

49,99 €*
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...