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 Lane m. 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 Nake m. fl.

Häftad, Tyska, 1992

829 kr

Skickas inom 10-15 vardagar

Formalisieren und Beweisen

Logik für Informatiker

AvDirk Siefkes

Häftad, Tyska, 1992

909 kr

Skickas inom 10-15 vardagar

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 Braun m. fl.

Inbunden, Tyska, 1998

419 kr

Skickas inom 10-15 vardagar

Pioniere der Informatik

Ihre Lebensgeschichte im Interview

AvDirk Siefkes,Anette Braun m. 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