Dirk Siefkes – författare

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

12 produkter

1. 

   Finite Automata, Their Algebras and Grammars

   Towards a Theory of Formal Expressions

   Av J. Richard Büchi, Dirk Siefkes

   Häftad, 2012

   1419 kr

   Lägg i varukorg

2. 

   Collected Works of J. Richard Büchi

   Av J. Richard Büchi, Saunders Mac Lane m. fl.

   Häftad, 2011

   719 kr

   Lägg i varukorg

3. 

   Formalisieren und Beweisen

   Logik für Informatiker

   Av Dirk Siefkes

   Häftad, 1990

   759 kr

   Lägg i varukorg

4. 

   Formale Methoden und kleine Systeme

   Lernen, leben und arbeiten in formalen Umgebungen

   Av Dirk Siefkes

   Häftad, 1992

   999 kr

   Lägg i varukorg

5. 

   Sichtweisen der Informatik

   Av Wolfgang Coy, Frieder Nake m. fl.

   Häftad, 1992

   869 kr

   Lägg i varukorg

6. 

   Formalisieren und Beweisen

   Logik für Informatiker

   Av Dirk Siefkes

   Häftad, 1992

   929 kr

   Lägg i varukorg

7. 

   Decidable Theories

   Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic

   Av Dirk Siefkes, Gert H. Müller

   Häftad, 1970

   359 kr

   Lägg i varukorg

8. 

   Pioniere der Informatik

   Ihre Lebensgeschichte im Interview

   Av Dirk Siefkes, Anette Braun m. fl.

   Inbunden, 1998

   429 kr

   Lägg i varukorg

9. 

   Pioniere der Informatik

   Ihre Lebensgeschichte im Interview

   Av Dirk Siefkes, Anette Braun m. fl.

   Häftad, 2012

   359 kr

   Lägg i varukorg

10. 

    Büchi’s Monadic Second Order Successor Arithmetic

    Av Dirk Siefkes

    Häftad, 1970

    669 kr

    Lägg i varukorg

11. 

    GI-4.Jahrestagung

    Berlin, 9.–12. Oktober 1974

    Av Dirk Siefkes

    Häftad, 1975

    689 kr

    Lägg i varukorg

12. 

    Sozialgeschichte Der Informatik: Kulturelle Praktiken Und Orientierungen

    Av Dirk Siefkes

    Häftad, 1998

    629 kr

    Lägg i varukorg