Teubner Texte zur Informatik

Calculus of Distributed and Parallel Processes

Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems

Parametrisierte Spezifikation von Schaltkreisen

Graphischer Entwurf regulärer Strukturen

Multidimensionale Datenbanksysteme

Modellierung und Verarbeitung

Angewandte Informatik und Formale Beschreibungsverfahren

Festschrift zum 60. Geburtstag von Wolffried Stucky

Vorlesungen zur Komplexitätstheorie

Semantik und Programmverifikation

Optik in der Rechentechnik

Photonisches VLSI und optische Netzwerke

Subskriptionssysteme

Marktplatz für omnipräsente Informationen

Backup und Recovery in Datenbanksystemen

Verfahren, Klassifikation, Implementierung und Bewertung

Hardware Design

Formaler Entwurf digitaler Schaltungen

Begründungsverwaltung

Beiträge zu einem Workshop über Reason Maintenance Berlin, 9. Oktober 1986 Proceedings

Informatik

Festschrift zum 60. Geburtstag von Günter Hotz

Implementierung und parallele Verarbeitung von Kommunikationssoftware

Formale Semantik eines erweiterten Entity-Relationship-Modells

Workflow-Management in verteilten Systemen

Entwurf und Betrieb geregelter arbeitsteiliger Anwendungssysteme

Evolution in Objekt-Datenbanken

Anpassung und Integration bestehender Informationssysteme

Datenbankkonversationen

Unterstützung kooperativer Gruppenarbeit aus datenorientierter Sicht

Dialogmodellierung für multimediale Benutzerschnittstellen

Eine Grundlegung der Average-Case Komplexitätstheorie

Zuverlässigkeitsbewertung technischer Systeme

Modelle für Zuverlässigkeitsstrukturen und ihre analytische Auswertung

Adaptive Datenreplikation in verteilten Systemen

Dynamic Load Distribution for Parallel Applications

Algorithmische Informationstheorie

Statistische Informationstheorie und Anwendungen auf algorithmische Fragestellungen

Petrinetze, lineare Algebra und lineare Programmierung

Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen