Hoppa till sidans huvudinnehåll

Dirk Siefkes – författare

Visar alla böcker från författaren .
12 produkter
J. Richard Büchi, Dirk Siefkes - Finite Automata, Their Algebras and Grammars, Häftad

Finite Automata, Their Algebras and Grammars

Towards a Theory of Formal Expressions

AvJ. Richard Büchi,Dirk Siefkes

Häftad, Engelska, 2012

1 409 kr

Skickas inom 10-15 vardagar

J. Richard Büchi, Saunders Mac Lane, Dirk Siefkes - Collected Works of J. Richard Büchi, Häftad

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

Dirk Siefkes - Formalisieren und Beweisen, Häftad

Formalisieren und Beweisen

Logik für Informatiker

AvDirk Siefkes

Häftad, Tyska, 1990

749 kr

Skickas inom 10-15 vardagar

Dirk Siefkes - Formale Methoden und kleine Systeme, Häftad

Formale Methoden und kleine Systeme

Lernen, leben und arbeiten in formalen Umgebungen

AvDirk Siefkes

Häftad, Tyska, 1992

989 kr

Skickas inom 10-15 vardagar

Wolfgang Coy, Frieder Nake, Jörg-Martin Pflüger, Arno Rolf, Jürgen Seetzen, Dirk Siefkes, Reinhard Stransfeld - Sichtweisen der Informatik, Häftad

Sichtweisen der Informatik

AvWolfgang Coy,Frieder Nakem. fl.

Häftad, Tyska, 1992

859 kr

Skickas inom 5-8 vardagar

Dirk Siefkes - Formalisieren und Beweisen, Häftad

Formalisieren und Beweisen

Logik für Informatiker

AvDirk Siefkes

Häftad, Tyska, 1992

919 kr

Skickas inom 10-15 vardagar

Dirk Siefkes, Gert H. Müller - Decidable Theories, Häftad
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

Dirk Siefkes, Anette Braun, Peter Eulenhöfer, Heike Stach, Klaus Städtler - Pioniere der Informatik, Inbunden

Pioniere der Informatik

Ihre Lebensgeschichte im Interview

AvDirk Siefkes,Anette Braunm. fl.

Inbunden, Tyska, 1998

429 kr

Skickas inom 10-15 vardagar

Dirk Siefkes, Anette Braun, Peter Eulenhöfer, Heike Stach, Klaus Städtler - Pioniere der Informatik, Häftad

Pioniere der Informatik

Ihre Lebensgeschichte im Interview

AvDirk Siefkes,Anette Braunm. fl.

Häftad, Tyska, 2012

359 kr

Skickas inom 10-15 vardagar

Dirk Siefkes - Büchi’s Monadic Second Order Successor Arithmetic, Häftad

Büchi’s Monadic Second Order Successor Arithmetic

AvDirk Siefkes

Häftad, Tyska, 1970

659 kr

Skickas inom 10-15 vardagar

Dirk Siefkes - GI-4.Jahrestagung, Häftad

GI-4.Jahrestagung

Berlin, 9.–12. Oktober 1974

AvDirk Siefkes

Häftad, Tyska, 1975

679 kr

Skickas inom 10-15 vardagar

Dirk Siefkes - Sozialgeschichte Der Informatik: Kulturelle Praktiken Und Orientierungen, Häftad

Sozialgeschichte Der Informatik: Kulturelle Praktiken Und Orientierungen

AvDirk Siefkes

Häftad, Tyska, 1998

609 kr

Skickas inom 10-15 vardagar