Auteur: Dirk Siefkes

Support

10 Ebooks par Dirk Siefkes

J. Richard Buchi: Finite Automata, Their Algebras and Grammars
The author, who died in 1984, is well-known both as a person and through his research in mathematical logic and theoretical computer science. In the first part of the book he presents the new classic …
PDF
Anglais
DRM
€114.08
J. Richard Buchi: Collected Works of J. Richard Buchi
J. Richard Biichi is well known for his work in mathematical logic and theoretical computer science. (He himself would have sharply objected to the qualifier "theoretical, " because he more …
PDF
Anglais
DRM
€57.96
Dirk Siefkes: Formale Methoden und kleine Systeme
Wieviele Menschen können an einem Gespräch teilnehmen? Drei, vier, fünf. Darüber wird »s schwierig. Darunter wird »s ernst: ein Wort unter vier Augen. Auch bei einem Selbstgespräch bin ich noch ZU zw …
PDF
Allemand
DRM
€39.68
Dirk Siefkes: Formalisieren und Beweisen
PDF
Allemand
DRM
€36.32
Dirk Siefkes: Decidable Theories
PDF
Anglais
DRM
€29.61
Anette Braun & Peter Eulenhofer: Pioniere der Informatik
Fünf Informatikpioniere aus Deutschland, Österreich und der Schweiz, die die Entwicklung ihres Fachs durch Impulse und Kritik entscheidend geprägt haben, erzählen ihr Leben vor dem Hintergrund der en …
PDF
Allemand
DRM
€19.06
Dirk Siefkes: GI-4.Jahrestagung
PDF
Allemand
DRM
€40.79
Sozialgeschichte der Informatik
PDF
Allemand
DRM
€36.53