Hakutulokset: Sarja Teubner Texte zur Informatik
yhteensä 24 hakutulosta
Begründungsverwaltung
Dieses Buch enthalt die schriftlichen Ausarbeitungen von Vortragen, die am 9. Oktober 1986 auf einem Workshop uber Reason Maintenance gehalten worden sind. Der Begriff …
Optik in der Rechentechnik
Der TEUBNER-TEXT "Optik in der Rechentechnik" vermittelt neben den Grundlagen auch den aktuellen Stand der Technik auf dem Gebiet. Das Buch stellt interdisziplinar eine Verbindung …
Zuverlässigkeitsbewertung technischer Systeme
Formale Semantik eines erweiterten Entity-Relationship-Modells
Evolution in Objekt-Datenbanken
Evolution in Objekt-Datenbanken behandelt die zunehmende Notwendigkeit der Anpassung bestehender Informationssysteme an das ständig zu erweiternde "Universe of Discourse" . Es …
Dynamic Load Distribution for Parallel Applications
Dynamic load distribution for parallel applications is one of the most important topics of research in the area of parallel and distributed systems. The German Science Foundation …
Hardware Design
Dieses Lehrbuch beschaftigt sich in mathematisch praziser Weise mit einem ganz und gar praktischen Thema, namlich dem Entwurf digitaler Hardware. Neben einer Diskussion der …
Semantik und Programmverifikation
Dieses Buch behandelt Grundkonzepte der Programmiersprachensemantik anhand einer einfachen funktionalen Programmiersprache. Darauf aufbauend werden die Aufgaben und Probleme bei …
Subskriptionssysteme
Die noch vor einigen Jahren als Vision gehandelte Situation der vollstfuldig durch- dringenden Vemetzung wird immer realistischer und realisierbarer. Der Rechner am Arbeitsplatz, …