Hoppa till sidans huvudinnehåll

Dirk Siefkes - Böcker

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

Finite Automata, Their Algebras and Grammars

Towards a Theory of Formal Expressions

Av J. Richard Büchi, Dirk Siefkes

Häftad, Engelska, 2012

1 409 kr

Skickas inom 10-15 vardagar

Collected Works of J. Richard Büchi

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

Häftad, Engelska, 2011

709 kr

Skickas inom 10-15 vardagar

Formalisieren und Beweisen

Logik für Informatiker

Av Dirk Siefkes

Häftad, Tyska, 1990

749 kr

Skickas inom 10-15 vardagar

Formale Methoden und kleine Systeme

Lernen, leben und arbeiten in formalen Umgebungen

Av Dirk Siefkes

Häftad, Tyska, 1992

989 kr

Skickas inom 10-15 vardagar

Sichtweisen der Informatik

Av Wolfgang Coy, Frieder Nake m. fl

Häftad, Tyska, 1992

839 kr

Skickas inom 10-15 vardagar

Formalisieren und Beweisen

Logik für Informatiker

Av Dirk Siefkes

Häftad, Tyska, 1992

919 kr

Skickas inom 10-15 vardagar

Decidable Theories

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

Av Dirk Siefkes, Gert H. Müller

Häftad, Engelska, 1970

359 kr

Skickas inom 10-15 vardagar

Pioniere der Informatik

Ihre Lebensgeschichte im Interview

Av Dirk Siefkes, Anette Braun m. fl

Inbunden, Tyska, 1998

429 kr

Skickas inom 10-15 vardagar

Pioniere der Informatik

Ihre Lebensgeschichte im Interview

Av Dirk Siefkes, Anette Braun m. fl

Häftad, Tyska, 2012

359 kr

Skickas inom 10-15 vardagar

Büchi’s Monadic Second Order Successor Arithmetic

Av Dirk Siefkes

Häftad, Tyska, 1970

659 kr

Skickas inom 10-15 vardagar

GI-4.Jahrestagung

Berlin, 9.–12. Oktober 1974

Av Dirk Siefkes

Häftad, Tyska, 1975

679 kr

Skickas inom 10-15 vardagar

Sozialgeschichte Der Informatik: Kulturelle Praktiken Und Orientierungen

Av Dirk Siefkes

Häftad, Tyska, 1998

609 kr

Skickas inom 10-15 vardagar