مؤلف: 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