Innovationen bei Rechen- und Kommunikationssystemen (eBook, PDF)

Eine Herausforderung für die Informatik
Redaktion: Wolfinger, Bernd

• Format: PDF

Produktdetails

• Verlag: Springer Berlin Heidelberg
• Seitenzahl: 533
• Erscheinungstermin: 9. März 2013
• Deutsch
• ISBN-13: 9783642511363
• Artikelnr.: 53128513

Inhaltsangabe

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.