Computer Aided Verification

Author: Ed Brinksma
Publisher: Springer
ISBN: 3540456570
Format: PDF, ePub, Docs
Download Now
This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was the 14th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. The conference covers the spectrum from theoretical - sults to concrete applications, with an emphasis on practical veri?cation tools, including algorithms and techniques needed for their implementation. The c- ference has traditionally drawn contributions from researchers as well as prac- tioners in both academia and industry. This year we received 94 regular paper submissions out of which 35 were selected. Each submission received an average of 4 referee reviews. In addition, the CAV program contained 11 tool presentations selected from 16 submissions. For each tool presentation, a demo was given at the conference. The large number of tool submissions and presentations testi?es to the liveliness of the ?eld and its applied ?avor.

Science Fiction Hall of Fame 2

Author: Robert Silverberg (Hrsg.)
Publisher:
ISBN: 394472058X
Format: PDF, Mobi
Download Now
Zum ersten Mal vollständig auf Deutsch: die legendäre Anthologie ›Science Fiction Hall of Fame‹ mit sechsundzwanzig klassischen Erzählungen aus den Jahren 1934 bis 1963. Die besten SF-Storys aller Zeiten, ausgewählt von den Mitgliedern der Science Fiction Writers of America! Die zweite Hälfte dieser legendären Anthologie umfasst die besten SF-Erzählungen aus den Jahren 1950 bis 1963. Dabei reicht das Spektrum von Highlights der Weltraum-SF (Cordwainer Smith, Ray Bradbury) bis zum Aufbruch des Genres in die Gefilde der modernen Literatur (Daniel Keyes, Roger Zelazny). Jede einzelne dieser Geschichten ist ein Juwel, das bis heute nichts von seinem Glanz verloren hat. Die beiden Bände ›Science Fiction Hall of Fame‹ sind einerseits die ideale Einstiegslektüre für alle, die einen Zugang zur Science Fiction suchen, ohne sich gleich eine ganze Bibliothek zulegen zu wollen. Für Freunde und Kenner der SF erfüllen sie andererseits einen lang gehegten Wunsch: Endlich liegen die grundlegenden Meisterwerke des Genres in neuen und überarbeiteten Übersetzungen gesammelt vor. Diese Erzählungen haben Geschichte geschrieben; diese beiden Bücher machen Geschichte greifbar. In ihrer spannendsten Form ...

Algorithmen Eine Einf hrung

Author: Thomas H. Cormen
Publisher: Walter de Gruyter GmbH & Co KG
ISBN: 3110522012
Format: PDF, ePub, Mobi
Download Now
Der "Cormen" bietet eine umfassende und vielseitige Einführung in das moderne Studium von Algorithmen. Es stellt viele Algorithmen Schritt für Schritt vor, behandelt sie detailliert und macht deren Entwurf und deren Analyse allen Leserschichten zugänglich. Sorgfältige Erklärungen zur notwendigen Mathematik helfen, die Analyse der Algorithmen zu verstehen. Den Autoren ist es dabei geglückt, Erklärungen elementar zu halten, ohne auf Tiefe oder mathematische Exaktheit zu verzichten. Jedes der weitgehend eigenständig gestalteten Kapitel stellt einen Algorithmus, eine Entwurfstechnik, ein Anwendungsgebiet oder ein verwandtes Thema vor. Algorithmen werden beschrieben und in Pseudocode entworfen, der für jeden lesbar sein sollte, der schon selbst ein wenig programmiert hat. Zahlreiche Abbildungen verdeutlichen, wie die Algorithmen arbeiten. Ebenfalls angesprochen werden Belange der Implementierung und andere technische Fragen, wobei, da Effizienz als Entwurfskriterium betont wird, die Ausführungen eine sorgfältige Analyse der Laufzeiten der Programme mit ein schließen. Über 1000 Übungen und Problemstellungen und ein umfangreiches Quellen- und Literaturverzeichnis komplettieren das Lehrbuch, dass durch das ganze Studium, aber auch noch danach als mathematisches Nachschlagewerk oder als technisches Handbuch nützlich ist. Für die dritte Auflage wurde das gesamte Buch aktualisiert. Die Änderungen sind vielfältig und umfassen insbesondere neue Kapitel, überarbeiteten Pseudocode, didaktische Verbesserungen und einen lebhafteren Schreibstil. So wurden etwa - neue Kapitel zu van-Emde-Boas-Bäume und mehrfädigen (engl.: multithreaded) Algorithmen aufgenommen, - das Kapitel zu Rekursionsgleichungen überarbeitet, sodass es nunmehr die Teile-und-Beherrsche-Methode besser abdeckt, - die Betrachtungen zu dynamischer Programmierung und Greedy-Algorithmen überarbeitet; Memoisation und der Begriff des Teilproblem-Graphen als eine Möglichkeit, die Laufzeit eines auf dynamischer Programmierung beruhender Algorithmus zu verstehen, werden eingeführt. - 100 neue Übungsaufgaben und 28 neue Problemstellungen ergänzt. Umfangreiches Dozentenmaterial (auf englisch) ist über die Website des US-Verlags verfügbar.

Das Detail in der Typografie

Author: Jost Hochuli
Publisher:
ISBN: 9783721205473
Format: PDF, ePub, Mobi
Download Now
Der Schweizer Typograf und Buchgestalter Jost Hochuli gibt in dieser Broschüre eine knapp gefasste, informative Einführung in die Mikro- oder Detailtypografie. Es geht um die grundlegenden Einheiten: Buchstabe, Buchstabenabstand, Wort, Wortabstand, Zeile, Zeilenabstand, Kolumne. Ausgehend von den hysiologischen und psychologischen Bedingtheiten des Lesevorgangs entfaltet der Autor die Grundelemente von Buchstaben und gesetzter Schrift, weckt den Sinn für die hier oft alles entscheidende Nuance anhand einer Fülle von Beispielen. Eine prägnante Darstellung all dessen, was jeder über die Grundlagen unserer Schrift und Lesekultur wissen sollte.