Books books books

Viel schöne Lektüre dieses Semester. Und wundersamerweise auch alles, was ziemlich interessant ist :D Also ist im Zug sicher mal auch was anderes als Stephen King angesagt:


Operating Systems, Design and Implementation

For introductory courses on computer operating systems. Revised to address the latest version of MINIX (MINIX 3), this streamlined, simplified new edition remains the only operating systems text to first explain relevant principles, then demonstrate their applications using a Unix-like operating system as a detailed example. It has been especially designed for high reliability, for use in embedded systems, and for ease of teaching.




Logik für Informatiker

Dieses Buch ist als Hilfsmittel für die Logikausbildung beim Informatikstudium konzipiert.
Es führt in die Begriffe und Methoden der formalen Logik ein. Die Materialauswhl orientiert sich dabei an der Anwendbarkeit in der Informatik. Aussagenlogik und die darauf aufbauende Prädikatenlogik werden behandelt. Damit soll ein Verständnis für moderne Anwendungen der Logik in der Informatik vermittelt werden. Solche Anwendungen sind z.B. Resolution, automatisches Beweisen und Logik-programmierung.
Ein Schwerpunkt der Darstellung ist der Resolutionskalkül, der die Grundlage der meisten Beweisverfahren und der Logikprogrammierung bildet, so auch im Rahmen der Programmiersprache PROLOG.
Außerdem werden die für das Verständnis notwendigen Grundlagen vermittelt, etwa die Herbrand-Theorie.



Abenteuer Softwarequalität

Software ist aus Schule, Beruf und Privatleben nicht mehr wegzudenken. Entsprechend wächst die Bedeutung guter Softwarequalität. Dieses Buch vermittelt ein fundiertes Grundwissen und einen breiten Überblick. Kann man Qualität messen, und wie kommt man zu sinnvollen Qualitätskriterien? Wie findet man Fehler in Programmen, und wie geht man beim systematischen Testen vor? Auch organisatorische Fragen, Bedienbarkeit von Software und agile Methoden werden betrachtet, ihr Bezug zur Softwarequalität wird erklärt. Das Buch eignet sich als Begleitlektüre zu einer Vorlesung und zum Selbststudium. Die Darstellung führt einfach und verständlich in alle Themen ein. Dabei begleitet die Geschichte von "Q" den Leser. Q ist soeben Qualitätsbeauftragter geworden und erlebt Zweifel und Erfolge im "Abenteuer Softwarequalität".


Fundamentals of Database Systems

Fundamentals of Database Systems has become the world-wide leading textbook because it combines clear explanations of theory and design, broad coverage of models and real systems, and excellent examples with up-to-date introductions and modern database technologies. This book has been revised and updated to reflect the latest trends in technological and application development. This fourth edition expands on many of the most popular database topics, including SQL, security, and data mining along with an introduction to UML modeling and an entirely new chapter on XML and Internet databases.



Introduction to Computer Graphics

This adaptation of the definitive book in the field (Computer Graphics, Second Edition by Foley, et al.,) provides a more concise, less expensive introduction to computer graphics. While retaining the currency and accuracy of the larger work, coverage has been trimmed to the essential topics. Explanations of key concepts have been expanded and further illustrated, assuming less background on the part of the reader. This brief version uses C as the programming language for all worked examples. An Introduction to Computer Graphics does not replace the highly regarded Second Edition of Foley, et al., but simply offers professionals the option of a briefer, less expensive version.