Innovationen bei Rechen- und Kommunikationssystemen Eine Herausforderung für die Informatik
Other Authors: | |
---|---|
Format: | eBook |
Language: | German |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1994, 1994
|
Edition: | 1st ed. 1994 |
Series: | Informatik aktuell
|
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- Inhaltsübersicht: Integration semi-formaler und formaler Methoden für die Spezifikation von Software-Systemen
- Disjunktive logische Programmierung und disjunktive Datenbanken
- Benutzungsschnittstellen für kommunizierende Systeme
- Systemtechnische Unterstützung verteilter Multimedia-Anwendungen
- IT-Sicherheit: Technik im Spannungsfeld von Ethik und Recht
- Workstations: Architekturen, Anwendungen und Entwicklungstrends
- Realzeitsysteme
- Simulationstechnik
- Kommunikation und Koordination in verteilten betrieblichen Anwendungen
- Workshop: Computer, Media and Arts
- Students Workshop