Wilhelm Reinhard Livres

Ce livre fournit aux étudiants en informatique les bases théoriques relatives à la compilation des langages impératifs, fonctionnels et logiques, et présente en outre les principaux outils utiles dans ce domaine. Les cinq premiers chapitres sont une introduction aux différents aspects du sujet, ainsi qu'aux résultats fondamentaux. Les sept chapitres suivants présentent des procédés constructifs pour la génération automatique d'analyseurs lexicaux, syntaxiques, sémantiques et de générateurs de code. Outre la traduction des langages de programmation conventionnels impératifs tels que Fortran, C, ou Pascal, on considère également la compilation de langages à objets (Eiffel, C++), fonctionnels (Lisp, Miranda) et logiques (Prolog). En ce qui concerne la génération de code, les architectures modernes de machines possédant un parallélisme à grain fin sont prises en compte. Les auteurs fournissent les bases théoriques de l'analyse statique des programmes, élément essentiel aussi bien de l'aide au développement des logiciels que de la production de codes efficaces. Les connaissances nécessaires sont tirées de la théorie des langages formels et de la théorie des automates. De nombreux exercices complètent le cours, permettant à l'étudiant un contrôle efficace de ses connaissances.

Informatics - 10 Years Back, 10 Years Ahead presents a unique collection of expository papers on major current issues in the field of computer science and information technology. The 26 contributions written by leading researchers on personal invitation assess the state of the art of the field by looking back over the past decade, presenting important results, identifying relevant open problems, and developing visions for the decade to come. This book marks two remarkable and festive moments: the 10th anniversary of the International Research and Conference Center for Computer Science in Dagstuhl, Germany and the 2000th volume published in the Lecture Notes in Computer Science series.

Es ist für Fachleute wie Laien immer wieder überraschend, wie die Errungenschaften der Informatik das Leben der Menschen verbessern können, manchmal sogar in Richtungen, welche die Menschen gar nicht unbedingt wünschen. Die aus der Zeitschrift Informatik Spektrum stammenden Glossen in diesem Buch beschreiben kurzweilig und mit viel Humor viele solcher Errungenschaften: Wie sie entstehen, weshalb sie vielleicht doch nicht so groß sind und was noch auf uns zukommt.Eine amüsante Lektüre für Informatiker und ihre gequälten Anwender.

Das Geheimnis der Goldenen Blüte. Ein chinesisches Lebensbuch. Mit einem europäischen Kommentar von C. G. Jung. Olten und Freiburg im Breisgau, Walter, 1971. 3., unveränderte Auflage. XXI, 124 S. Mit Frontispiz, 10 ganzseitigen Abbildungen auf Kunstdrucktafeln und 7 Abbildungen im Text. Originalleinen mit original Schutzumschlag. Gr.-8°.