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