• Wyszukiwanie zaawansowane
  • Kategorie
  • Kategorie BISAC
  • Książki na zamówienie
  • Promocje
  • Granty
  • Książka na prezent
  • Opinie
  • Pomoc
  • Załóż konto
  • Zaloguj się

Dirk Siefkes - książki

zaloguj się | załóż konto
Logo Krainaksiazek.pl

koszyk

konto

szukaj
topmenu
Księgarnia internetowa
Szukaj
Książki na zamówienie
Promocje
Granty
Książka na prezent
Moje konto
Pomoc
 
 
Wyszukiwanie zaawansowane
Pusty koszyk
Bezpłatna dostawa dla zamówień powyżej 20 złBezpłatna dostawa dla zamówień powyżej 20 zł

Kategorie główne

• Nauka
 [2950560]
• Literatura piękna
 [1849509]

  więcej...
• Turystyka
 [71097]
• Informatyka
 [151150]
• Komiksy
 [35848]
• Encyklopedie
 [23178]
• Dziecięca
 [617388]
• Hobby
 [139064]
• AudioBooki
 [1657]
• Literatura faktu
 [228597]
• Muzyka CD
 [383]
• Słowniki
 [2855]
• Inne
 [445295]
• Kalendarze
 [1464]
• Podręczniki
 [167547]
• Poradniki
 [480102]
• Religia
 [510749]
• Czasopisma
 [516]
• Sport
 [61293]
• Sztuka
 [243352]
• CD, DVD, Video
 [3414]
• Technologie
 [219456]
• Zdrowie
 [101002]
• Książkowe Klimaty
 [124]
• Zabawki
 [2311]
• Puzzle, gry
 [3459]
• Literatura w języku ukraińskim
 [254]
• Art. papiernicze i szkolne
 [8079]
Kategorie szczegółowe BISAC
 Pioniere Der Informatik: Ihre Lebensgeschichte Im Interview Brauer, W. 9783540648574 Springer
Pioniere Der Informatik: Ihre Lebensgeschichte Im Interview

Brauer, W.
Funf Informatikpioniere aus Deutschland, Osterreich und der Schweiz, die die Entwicklung ihres Fachs durch Impulse und Kritik entscheidend gepragt haben, erzahlen ihr Leben vor dem Hintergrund der entstehenden Informatik. Der fruhe Bau elektronischer Rechenanlagen wird dabei ebenso angesprochen wie das Entstehen von Programmiersprachen oder die Etablierung der Disziplin. In den Gesprachen geht es weniger darum, aussergewohnliche Ereignisse oder Biographien herauszustellen, als vielmehr die Informatik in die Zeitgeschichte und die Lebensumstande des einzelnen einzubetten. Es zeigt sich, dass...
Funf Informatikpioniere aus Deutschland, Osterreich und der Schweiz, die die Entwicklung ihres Fachs durch Impulse und Kritik entscheidend gepragt hab...
cena: 112,57
 Decidable Theories: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic Müller, Gert H. 9783540049098 Springer
Decidable Theories: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic

Müller, Gert H.
cena: 100,20
 Sozialgeschichte Der Informatik: Kulturelle Praktiken Und Orientierungen Siefkes, Dirk 9783824443000 Springer
Sozialgeschichte Der Informatik: Kulturelle Praktiken Und Orientierungen

Siefkes, Dirk
Die Entwicklung des Wissenschafts- und Technikfeldes Informatik wird als kultureller und sozialer Prozess beschrieben und problematisiert. Fur diesen interdisziplinaren Ansatz wird eine geeignete Methodologie entwickelt und in Detailstudien exemplifiziert."
Die Entwicklung des Wissenschafts- und Technikfeldes Informatik wird als kultureller und sozialer Prozess beschrieben und problematisiert. Fur diesen ...
cena: 168,88
 Finite Automata, Their Algebras and Grammars: Towards a Theory of Formal Expressions Büchi, J. Richard 9781461388555 Springer
Finite Automata, Their Algebras and Grammars: Towards a Theory of Formal Expressions

Büchi, J. Richard
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 results, like his work on structure lattices or his characterization of regular sets by generalized regular rules, are unknown to a wider audience. In the second part of the book he extends the theory to general (non-unary, many-sorted) algebras, term rewriting systems, tree automata, and pushdown...
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 f...
cena: 401,58
 The Collected Works of J. Richard Büchi Mac Lane, Saunders 9781461389309 Springer
The Collected Works of J. Richard Büchi

Mac Lane, Saunders
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 than usual.) We are happy to present here this collection of his papers. I (DS)1 worked with Biichi for many years, on and off, ever since I did my Ph.D. thesis on his Sequential Calculus. His way was to travel locally, not globally: When we met we would try some specific problem, but rarely dis cussed...
J. Richard Biichi is well known for his work in mathematical logic and theoretical computer science. (He himself would have sharply objected to the qu...
cena: 200,77
 Formale Methoden Und Kleine Systeme: Lernen, Leben Und Arbeiten in Formalen Umgebungen Dirk Siefkes 9783528051990 Vieweg+teubner Verlag
Formale Methoden Und Kleine Systeme: Lernen, Leben Und Arbeiten in Formalen Umgebungen

Dirk Siefkes
Wieviele Menschen konnen an einem Gesprach teilnehmen? Drei, vier, funf. Daruber wird's schwierig. Darunter wird's ernst: ein Wort unter vier Augen. Auch bei einem Selbstgesprach bin ich noch ZU zweit. Ist die Gruppe groer, bilden sich Strukturen heraus: Es treten Wortfuhrer auf, Untergruppen erscheinen, manche kommen nie zu Wort, werden schweigsam. Bei noch mehr Teilnehmern ergreift man Manahmen: Wortmeldungen, Refer- enten, Arbeitsgruppen; braucht man Hilfsmittel: Rednerlisten, Mikrofone; mu man laut und deutlich reden; lernt man die einzelnen nicht mehr kennen; lernt man nicht mehr,...
Wieviele Menschen konnen an einem Gesprach teilnehmen? Drei, vier, funf. Daruber wird's schwierig. Darunter wird's ernst: ein Wort unter vier Augen. A...
cena: 281,46
 Formalisieren Und Beweisen: Logik Für Informatiker Siefkes, Dirk 9783528147570 Springer
Formalisieren Und Beweisen: Logik Für Informatiker

Siefkes, Dirk
Gregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erzahlt 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 schliesslich aus: Dabei fallt mir eine Geschichte ein. Die Geschichte dieses Buches handelt von Menschen. "Fangt doch jeden Abschnitt mit einem Beispiel an," schlug Ralf-Detlef Kutsche vor, als er mir 1982 zusammen mit Peter Padawitz, Simone Pribbenow und Andreas Schulze half, die Lehrveranstaltung...
Gregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erzahlt in der Ein l leitung zu seinem Buch Geist und Natur eine Geschichte: Ei...
cena: 262,70
 Pioniere Der Informatik: Ihre Lebensgeschichte Im Interview Brauer, W. 9783642636608 Springer
Pioniere Der Informatik: Ihre Lebensgeschichte Im Interview

Brauer, W.
Funf Informatikpioniere aus Deutschland, Osterreich und der Schweiz, die die Entwicklung ihres Fachs durch Impulse und Kritik entscheidend gepragt haben, erzahlen ihr Leben vor dem Hintergrund der entstehenden Informatik. Der fruhe Bau elektronischer Rechenanlagen wird dabei ebenso angesprochen wie das Entstehen von Programmiersprachen oder die Etablierung der Disziplin. In den Gesprachen geht es weniger darum, aussergewohnliche Ereignisse oder Biographien herauszustellen, als vielmehr die Informatik in die Zeitgeschichte und die Lebensumstande des einzelnen einzubetten. Es zeigt sich, dass...
Funf Informatikpioniere aus Deutschland, Osterreich und der Schweiz, die die Entwicklung ihres Fachs durch Impulse und Kritik entscheidend gepragt hab...
cena: 93,82
 Gi-4.Jahrestagung: Berlin, 9.-12. Oktober 1974 Dirk Siefkes 9783662391044 Springer
Gi-4.Jahrestagung: Berlin, 9.-12. Oktober 1974

Dirk Siefkes
cena: 187,64
 Büchi's Monadic Second Order Successor Arithmetic Dirk Siefkes 9783662358481 Springer
Büchi's Monadic Second Order Successor Arithmetic

Dirk Siefkes
cena: 187,64


Facebook - konto krainaksiazek.pl



Opinie o Krainaksiazek.pl na Opineo.pl

Partner Mybenefit

Krainaksiazek.pl w programie rzetelna firma Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Facebook - krainaksiazek.pl
  • książki na zamówienie
  • granty
  • książka na prezent
  • kontakt
  • pomoc
  • opinie
  • regulamin
  • polityka prywatności

Zobacz:

  • Księgarnia czeska

  • Wydawnictwo Książkowe Klimaty

1997-2025 DolnySlask.com Agencja Internetowa

© 1997-2022 krainaksiazek.pl
     
KONTAKT | REGULAMIN | POLITYKA PRYWATNOŚCI | USTAWIENIA PRYWATNOŚCI
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
Polityka prywatnosci - link
Krainaksiazek.pl - płatnośc Przelewy24
Przechowalnia Przechowalnia