Dirk Siefkes – författare

Visar alla böcker från författaren Dirk Siefkes.

12 produkter

Kategorier

12 produkter

Finite Automata, Their Algebras and Grammars
Towards a Theory of Formal Expressions
AvJ. Richard Büchi,Dirk Siefkes
Häftad, Engelska, 2012
1 419 kr
Skickas inom 10-15 vardagar
Collected Works of J. Richard Büchi
AvJ. Richard Büchi,Saunders Mac Lanem. fl.
Häftad, Engelska, 2011
709 kr
Skickas inom 10-15 vardagar
Formalisieren und Beweisen
Logik für Informatiker
AvDirk Siefkes
Häftad, Tyska, 1990
759 kr
Skickas inom 10-15 vardagar
Formale Methoden und kleine Systeme
Lernen, leben und arbeiten in formalen Umgebungen
AvDirk Siefkes
Häftad, Tyska, 1992
999 kr
Skickas inom 10-15 vardagar
Sichtweisen der Informatik
AvWolfgang Coy,Frieder Nakem. fl.
Häftad, Tyska, 1992
859 kr
Skickas inom 5-8 vardagar
Formalisieren und Beweisen
Logik für Informatiker
AvDirk Siefkes
Häftad, Tyska, 1992
929 kr
Skickas inom 10-15 vardagar
Del 120
Del 120 - Lecture Notes in Mathematics
Decidable Theories
Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
AvDirk Siefkes,Gert H. Müller
Häftad, Engelska, 1970
359 kr
Skickas inom 10-15 vardagar
Pioniere der Informatik
Ihre Lebensgeschichte im Interview
AvDirk Siefkes,Anette Braunm. fl.
Inbunden, Tyska, 1998
429 kr
Skickas inom 10-15 vardagar
Pioniere der Informatik
Ihre Lebensgeschichte im Interview
AvDirk Siefkes,Anette Braunm. fl.
Häftad, Tyska, 2012
359 kr
Skickas inom 10-15 vardagar
Büchi’s Monadic Second Order Successor Arithmetic
AvDirk Siefkes
Häftad, Tyska, 1970
669 kr
Skickas inom 10-15 vardagar
GI-4.Jahrestagung
Berlin, 9.–12. Oktober 1974
AvDirk Siefkes
Häftad, Tyska, 1975
689 kr
Skickas inom 10-15 vardagar
Sozialgeschichte Der Informatik: Kulturelle Praktiken Und Orientierungen
AvDirk Siefkes
Häftad, Tyska, 1998
619 kr
Skickas inom 10-15 vardagar