Dirk Siefkes – författare
Visar alla böcker från författaren Dirk Siefkes. Handla med fri frakt och snabb leverans.
22 produkter
Finite Automata, Their Algebras and Grammars
Towards a Theory of Formal Expressions
Av J. Richard Buchi, Dirk Siefkes
E-bok, 2013
1459 kr
Lägg i varukorg
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 classical theory of finite automata as unary algebras which he himself invented about 30 years ago. Many …
Finite Automata, Their Algebras and Grammars
Towards a Theory of Formal Expressions
Av J. Richard Büchi, Dirk Siefkes
Häftad, 2012
1095 kr
Lägg i varukorg
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 classical theory of finite automata as unary algebras which he himself invented about 30 years ago. Many …
Collected Works of J. Richard Buchi
Av J. Richard Buchi, Dirk Siefkes m. fl.
E-bok, 2012
734 kr
Lägg i varukorg
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 or less identified science and theory, using "theory" in a broader sense and "science" in a narrower sense …
Collected Works of J. Richard Büchi
Av J. Richard Büchi, Saunders Mac Lane m. fl.
Häftad, 2011
551 kr
Lägg i varukorg
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 or less identified science and theory, using "theory" in a broader sense and "science" in a narrower sense …
Formale Methoden und kleine Systeme
Lernen, leben und arbeiten in formalen Umgebungen
Av Dirk Siefkes
E-bok, 2013
492 kr
Lägg i varukorg
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 zweit. Ist die Gruppe größer, bilden sich Strukturen heraus: Es treten Wortführer auf, Untergruppen …
Formalisieren und Beweisen
Logik für Informatiker
Av Dirk Siefkes
E-bok, 2013
476 kr
Lägg i varukorg
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 Computer die Frage ein: "Wirst Du jemals denken wie ein Mensch? Rechne mal nach!" Der Computer rechnet und rechnet und gibt …
Formale Methoden und kleine Systeme
Lernen, leben und arbeiten in formalen Umgebungen
Av Dirk Siefkes
Häftad, 1992
770 kr
Lägg i varukorg
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 zweit. Ist die Gruppe größer, bilden sich Strukturen heraus: Es treten Wortführer auf, Untergruppen …
Sichtweisen der Informatik
Av Wolfgang Coy, Frieder Nake m. fl.
Häftad, 1992
668 kr
Lägg i varukorg
Dieses Buch dokumentiert einen Diskussionsprozess, der an vielen Orten stattfindet und vom Arbeitskreis "Theorie der Informatik" in der Gesellschaft fur Informatik zusammengefuhrt wird. Das Themenfeld, das festgehalten wird, umfasst wissenschaftstheoretische und philosophische Grundlagen der …
Formalisieren und Beweisen
Logik für Informatiker
Av Dirk Siefkes
Häftad, 1992
719 kr
Lägg i varukorg
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 Computer die Frage ein: "Wirst Du jemals denken wie ein Mensch? Rechne mal nach!" Der Computer rechnet und rechnet und gibt …
Decidable Theories
Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
Av Dirk Siefkes, Gert H. Müller
Häftad, 1970
279 kr
Lägg i varukorg
Decidable Theories
Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
Av Dirk Siefkes, Gert H. Muller
E-bok, 2006
375 kr
Lägg i varukorg
Pioniere der Informatik
Ihre Lebensgeschichte im Interview
Av Dirk Siefkes, Anette Braun m. fl.
Inbunden, 1998
331 kr
Lägg i varukorg
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 entstehenden Informatik. Der frühe Bau elektronischer Rechenanlagen wird dabei ebenso angesprochen wie …
Pioniere der Informatik
Ihre Lebensgeschichte im Interview
Av Klaus Stadtler, Heike Stach m. fl.
E-bok, 2013
245 kr
Lägg i varukorg
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 entstehenden Informatik. Der frühe Bau elektronischer Rechenanlagen wird dabei ebenso angesprochen wie …
Pioniere der Informatik
Ihre Lebensgeschichte im Interview
Av Dirk Siefkes, Anette Braun m. fl.
Häftad, 2012
277 kr
Lägg i varukorg
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 entstehenden Informatik. Der frühe Bau elektronischer Rechenanlagen wird dabei ebenso angesprochen wie …
Sozialgeschichte Der Informatik: Kulturelle Praktiken Und Orientierungen
Av Dirk Siefkes
Häftad, 1998
479 kr
Lägg i varukorg
