Exploring New Frontiers of Theoretical Informatics, Fachbücher von Ernst W. Mayr, John C. Mitchell, Jean-Jacques Lévy

"Exploring New Frontiers of Theoretical Informatics" ist ein Fachbuch, das sich mit den neuesten Entwicklungen in der theoretischen Informatik beschäftigt. In den letzten Jahren haben sich die Anwendungsszenarien der Informationstechnologie stark weiterentwickelt. Die Verbreitung hochgradig verteilter Netzwerke und kostengünstiger Hochgeschwindigkeitskommunikation hat neue Möglichkeiten für grossangelegte verteilte Programmierung eröffnet. Zudem ermöglicht das mobile Computing, insbesondere durch drahtlose Geräte, innovative Interaktionen. Um die Flexibilität und Leistungsfähigkeit dieser sich schnell entwickelnden interaktiven Systeme zu nutzen, sind grundlegende neue Ideen und Prinzipien erforderlich. Das Buch bietet eine umfassende Analyse der theoretischen Grundlagen, die notwendig sind, um diese Systeme zu entwerfen und die komplexen Herausforderungen ihrer Konstruktion zu bewältigen. Es spiegelt die Vielfalt der Themen und Interessen innerhalb der theoretischen Informatik-Community wider und ist in zwei miteinander verbundene Bereiche gegliedert: Algorithmen, Komplexität und Rechenmodelle sowie Logik, Semantik, Spezifikation und Verifikation.