автор: Dirk Siefkes

поддержка

10 Электронные книги 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 …
PDF
английский
DRM
€113.59
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
английский
DRM
€57.15
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 …
PDF
немецкий
DRM
€39.37
Dirk Siefkes: Formalisieren und Beweisen
PDF
немецкий
DRM
€36.37
Dirk Siefkes: Decidable Theories
PDF
английский
DRM
€29.23
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 …
PDF
немецкий
DRM
€19.07
Dirk Siefkes: GI-4.Jahrestagung
PDF
немецкий
DRM
€40.63
Sozialgeschichte der Informatik
PDF
немецкий
DRM
€35.96