Buch, Deutsch, 533 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 820 g
Reihe: Informatik aktuell
Eine Herausforderung für die Informatik
Buch, Deutsch, 533 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 820 g
Reihe: Informatik aktuell
ISBN: 978-3-540-58313-4
Verlag: Springer Berlin Heidelberg
Springer Book Archives
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.