I am honored to introduce readers to this extraordinary volume, the first in the annual International Perspectives Series: Psychiatry, Psychology, and Neurosciences.  Meer

Das vorliegende Buch ist der 2. Teil einer Einführung in die wesentlichen Problembereiche der KI-Programmierung. Dabei dienen Sprachentwicklung, -implementierung und -benutzung als neuartige einheitliche Sichtweise.  Meer

Dieses Buch beschreibt die grundlegenden Verfahren zur Tolerierung von Fehlern, die in Rechensystemen auftreten. Besondere Beachtung finden Fehlertoleranz-Maßnahmen für verteilte Systeme, da diese eine zunehmende Bedeutung erlangen.  Meer

Das Buch ist hervorgegangen aus Vorlesungen, die wir an der Universität Hamburg gehalten haben. Der Umstand, daß die übliche getrennte Darstellung der Gebiete "Betriebssysteme", "Rechnerorganisation" und "Verteilte Systeme" jede der Veran­ staltungen mit der Präsentation eines Instrumentariums von Verfahren belastet und dabei den Lernenden die Einheit der Gesichtspunkte leicht verborgen bleibt, führte dazu, daß das Lehrgebiet "Rechnerorganisation und Betriebssysteme" in eine Grundvorlesung "Rechensysteme" und darauf aufbauende - dank der bereits ge­ brachten Grundlagen - mehr implementationsorientierte Vorlesungen "Rechneror­ ganisation" , "Betriebssysteme", "Verteilte Systeme" gegliedert wurde.  Meer

Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunächst werden unterschiedliche Formalisierungsansätze (die operationelle, denotationelle und axiomatische Semantik) vorgestellt und diskutiert.  Meer

1 d Petrinetze sind für den Entwurf und die Analyse nicht-sequentieller (paralleler) Prozesse und Systeme geeignet. Insbesondere im Hardware- und Software-Entwurf und in der Systemspezifikation werden sie erfolgreich angewendet.  Meer

Dieses Buch ist aus der zweisemestrigen EinfUhrungsvorlesung Informatik 1 und 2 an der ErR Ziirich entstanden. Da der Inhalt des ersten Semesters, der die Abschnitte 1 und 2 umfasst, eine unkonventione11e EinfUhrung in die Informatik darstellt, ist eine ErkHirung angebracht, damit der Leser beurteilen kann, ob die Voraussetzungen und Zielsetzungen dieses Buches auf ihn zutreffen.  Meer

Das vorliegende Buch ist eine Einführung in die wesentlichen Problembereiche der KI-Programmierung. Dabei dienen Sprachentwicklung, -implementierung und -benutzung als neuartige einheitliche Sichtweise.  Meer

Ein breiter Einsatz von Expertensystemen wird zur Zeit am st{rksten durch das Fehlen einer Theorie behindert, die be- sagt, f}r welche Problemklassen welche Probleml|sungsmetho- den verf}gbar sind.  Meer

Expertensysteme er|ffnen dem Computer neue Anwendungsfelder, da die Programme leistungsf{higer werden und mit geeigneten Expertensystemwerkzeugen auch ohne spezielle Programmier- kenntnisse entwickelt und gewartet werden k|nnen.  Meer

In diesem Lehrbuch werden die grundlegenden Begriffe der Theoretischen Informatik - Berechenbarkeit, Entscheidbarkeit, rekursive Funktionen, Regelsprachen, Turingmaschinen, Komplexität - auf der Basis der Programmiersprache PASCAL motiviert, abgeleitet und in einer einheitlichen Betrachtungsweise dargestellt.  Meer

Das vorliegende Buch ging aus einer Vorlesung hervor, die wir gemeinsam im Sommersemester 1982 an der Universität Erlangen-Nürnberg gehalten haben. Wesentliche Anregungen verdanken die Autoren den Manuskripten der Vorle­ sung "Structure und Interpretation of Computer Programs" von Abelson, Fano und Sussman (1981, 1982, 1983 als MIT-AI-TR-735 veröffentlicht) am Massachusetts Institute ofTechnology, sowie den Lehrbüchern "LISP" von Win­ ston und Horn (1981) und "Artificial Intelligence Programming" von Charniak, Riesbeck und McDermott (1980) und dem Vorlesungsmanuskript "LISP - Pro­ gramming and Proving" von McCarthy und Talcott (1980) von der Stanford University.  Meer

Dieses Buch, in dessen Titel sich "Einführung in die Programmierung" und "Programmierung mit Modula-2" verbinden, wendet sich sowohl an den Programmieranfänger, als auch an den erfahrenen Programmierer, der die Sprache Modula-2 erlernen will.  Meer

Informatik, Naturwissenschaften und alle Ingenieurdisziplinen, insbesondere Betriebssysteme, Verteilte Systeme, Prozeßdatenverarbeitung, Rechnerarchitektur, Rechnernetze, Produktionstechnik, Büroautomation Die Programmierung nebenläufiger, verteilter und echtzeitabhängiger Systeme erlangte zunehmende Bedeutung nicht nur in der Informatik, sondern vor allem auch in zahlreichen Anwendungsbereichen.  Meer