लेखक: 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 classic …
PDF
अंग्रेज़ी
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
अंग्रेज़ी
DRM
€57.46
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
जर्मन
DRM
€39.68
Dirk Siefkes: Formalisieren und Beweisen
PDF
जर्मन
DRM
€36.37
Dirk Siefkes: Decidable Theories
PDF
अंग्रेज़ी
DRM
€29.59
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
जर्मन
DRM
€19.06
Dirk Siefkes: GI-4.Jahrestagung
PDF
जर्मन
DRM
€40.79
Sozialgeschichte der Informatik
PDF
जर्मन
DRM
€36.53