Saxo Access
Indkøbskurv

Siefkes, Dirk

Vis søgefilter

Vis mig kun

Collected Works of J. Richard Buchi

Collected Works of J. Richard Buchi

Buchi, J. Richard

436,85 DKK

Formale Methoden und kleine Systeme

Formale Methoden und kleine Systeme

Siefkes, Dirk

295,53 DKK

Büchi’s Monadic Second Order Successor Arithmetic

Büchi’s Monadic Second Order Successor Arithmetic

Siefkes, Dirk

302,96 DKK

Sozialgeschichte der Informatik

Sozialgeschichte der Informatik

Siefkes, Dirk

265,81 DKK

Formalisieren und Beweisen

Formalisieren und Beweisen

Siefkes, Dirk

265,81 DKK

Finite Automata, Their Algebras and Grammars

Finite Automata, Their Algebras and Grammars

Buchi, J. Richard

875,33 DKK

Sichtweisen der Informatik

Sichtweisen der Informatik

Siefkes, Dirk

295,53 DKK

Decidable Theories

Decidable Theories

Siefkes, Dirk

223,05 DKK

Formalisieren und Beweisen

Formalisieren und Beweisen

Siefkes, Dirk

265,81 DKK