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

AvJ. Richard Büchi,Dirk Siefkes

Häftad, Engelska, 2012

1 389 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

699 kr

Skickas inom 10-15 vardagar

Formalisieren und Beweisen

Logik für Informatiker

AvDirk Siefkes

Häftad, Tyska, 1990

739 kr

Skickas inom 10-15 vardagar

Formale Methoden und kleine Systeme

Lernen, leben und arbeiten in formalen Umgebungen

AvDirk Siefkes

Häftad, Tyska, 1992

979 kr

Skickas inom 10-15 vardagar

Sichtweisen der Informatik

AvWolfgang Coy,Frieder Nakem. fl.

Häftad, Tyska, 1992

849 kr

Skickas inom 7-10 vardagar

Formalisieren und Beweisen

Logik für Informatiker

AvDirk Siefkes

Häftad, Tyska, 1992

909 kr

Skickas inom 10-15 vardagar

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

349 kr

Skickas inom 10-15 vardagar

Pioniere der Informatik

Ihre Lebensgeschichte im Interview

AvDirk Siefkes,Anette Braunm. fl.

Inbunden, Tyska, 1998

419 kr

Skickas inom 10-15 vardagar

Pioniere der Informatik

Ihre Lebensgeschichte im Interview

AvDirk Siefkes,Anette Braunm. fl.

Häftad, Tyska, 2012

349 kr

Skickas inom 10-15 vardagar

Büchi’s Monadic Second Order Successor Arithmetic

AvDirk Siefkes

Häftad, Tyska, 1970

649 kr

Skickas inom 10-15 vardagar

GI-4.Jahrestagung

Berlin, 9.–12. Oktober 1974

AvDirk Siefkes

Häftad, Tyska, 1975

669 kr

Skickas inom 10-15 vardagar

Sozialgeschichte Der Informatik: Kulturelle Praktiken Und Orientierungen

AvDirk Siefkes

Häftad, Tyska, 1998

609 kr

Skickas inom 10-15 vardagar