Die digitale Bldverarbeitung i hat sich heute zu einer Basistechnologie fUr die un- terschiedlichsten Anwendungsfelder entwickelt. Qualitatskontrolle, Fertigungssteu- erung, Medizin, Auswertung von Satellitenaufnahmen, Mikroskopie und Druckvor- stufe sind nur einige der Bereiche, die ohne sie nicht mehr vorstellbar waren. Damit werden Kenntnisse der Grundlagen dieses Fachgebietes fUr viele Beru- felder immer wichtiger. . "Bildverarbeitung Interaktiv" ist ein multimediales Lernsystem Ober diese Grundla- gen der Bildverarbeitung. Es integriert unter einer graphischen Benutzeroberflache...

Beschreibungsformalismen aus der theoretischen Informatik werden benutzt, um Systeme prazise zu beschreiben. Diese Formalismen werden in vielen Gebieten des praktischen Systementwurfs angewandt. Das Buch stellt die wichtigsten, grundlegenden Formalismen zusammen und kompensiert damit das in den sog. Bindestrich-Informatik-Studiengangen an Fachhochschulen typischerweise anzutreffende Defizit in diesem Bereich.

Grundkonzepte von Computern, ihre Handhabung zum Einsatz von weit verbreiteten Anwendungsprogrammen und die Nutzung des Internet zur Information und Kommunikation werden in diesem Buch einfuhrend und grundlegend dargestellt. Durch die in hohem Mae anwendungsorientierte Form der Prasentation anhand von Fragestellungen, mit denen der Praktiker konfrontiert wird, wird auch der Nicht-Informatiker in die Lage versetzt, den Computer und die Informationstechnik kennen und beherrschen zu lernen.

Zu Beginn der PC-Entwicklung wurden PC's hauptsachlich zum Zwecke des gemeinsa men Nutzens von Dateien und Druckern vernetzt. Nicht zuletzt durch den EinfluB des In ternets werden mit Hilfe von PC's immer mehr client-/serverbasierte Infrastrukturen auf gebaut. Die auf den PC's verftigbaren Betriebssysteme bieten dazu unterschiedlichste Vn tersttitzungen zum Aufbau eines verteilten Systems. Das vorliegende Buch beschreibt dazu die wichtigsten auf PC's verftigbaren Betriebssy sterne und deren Fiihigkeiten zum Aufbau eines verteilten Systems. Der Schwerpunkt des Buches liegt dabei eindeutig auf...

Anhand von mehr als hundert vollstandigen und ausfuhrlich kommentierten Beispielen fuhrt dieses Buch in die Programmierung mit der Java 2-Plattform ein. Es eignet sich sowohl als Grundlage fur einen Einfuhrungskurs zu Java mit anwendungsbezogenen praktischen Ubungen als auch zum Selbststudium.

Dieses Buch ist ein Lehrbuch fur schnelle, effiziente und korrekte Pro p;rammierung. Es werden Verfahren vorgestellt, die es ermoglichen, sprach- und maschinenunabhangig zu programmieren, und eine Me thode, mit der zweifelsfrei bewiesen werden kann, dass die so entwickel ten Algorithmen korrekt sind, d.h., genau das leisten, was sie leisten sollen. Dazu wird die Top-Down-Konstruktion und die Bottom-Up Verifikation dargestellt. Es wird auf die Ubertragung in gangige und in moderne funktionale und objekt-orientierte Programmiersprachen eingegangen. Systemati sche Testmethoden werden ebenfalls...

Nur wenige hohere Programmiersprachen haben es geschafft, uber mehrere Jahrzehnte erfolgreich zu sein. Die Sprache C gehort zweifelsfrei dazu und ist im Gegensatz zu anderen Sprachen, die eine vergleichbar lange Zeit uberleben konnten, gerade in den letzten Jahren immer beliebter geworden. Und weil sie in der dominierenden objektorientierten Sprache C++ komplett enthalten ist, kann man ihr wohl ein noch langes Leben prophezeien (allerdings gelten in der Informatik Voraussagen schon dann als "Langzeit-Prognose," wenn sie einen Zeitraum von funf Jahren umfassen). C-Programmierung gilt als...