Søkt på: Bøker av Dirk Siefkes
totalt 10 treff
Decidable Theories
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 …
Formalisieren und Beweisen
Gregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erziihlt in der Ein- leitung zu seinem Buch Geist und Natur1 eine Geschichte: Ein Mann gibt in seinen …
Formalisieren und Beweisen
Gregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erzählt in der Ein l leitung zu seinem Buch Geist und Natur eine Geschichte: Ein Mann gibt in seinen …
Büchi’s Monadic Second Order Successor Arithmetic
GI-4.Jahrestagung
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 …
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 …
The Collected Works of J. Richard Büchi
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 …
Sozialgeschichte der Informatik
Die Entwicklung des Wissenschafts- und Technikfeldes Informatik wird als kultureller und sozialer Prozess beschrieben und problematisiert. Fur diesen interdisziplinaren Ansatz wird …