Informatik (15.755 Artikel)

Convexity, Duality and Effects.- A Calculus for Power-Aware Multicast Communications in Ad Hoc Networks.- The Coarsest Precongruences Respecting Safety and Liveness Properties.- Entropy and Attack ...

This volume constitutes the refereed post-conference proceedings of the International Conference on Theoretical Computer Science and Discrete Mathematics, held in Krishnankoil, India, in December 2...

In 1996 the International Federation for Information Processing (IFIP) establ- hed its rst Technical Committee on foundations of computer science, TC1. The aim of IFIP TC1 is to support the develop...

Computer Vision is a rapidly growing field of research investigating computational and algorithmic issues associated with image acquisition, processing, and understanding. It serves tasks like mani...

DNA computation has emerged in the last ten years as an exciting new - search ?eld at the intersection (and, some would say, frontiers) of computer science,biology,engineering,andmathematics.Althou...

This book constitutes the refereed post-proceedings of the Second International Conference on Theoretical and Mathematical Foundations of Computer Science, ICTMF 2011, held in Singapore in May 2011...

Increasing the designer's con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Many a...

Angesichts der Komplexität der Produkte der modernen Informatik wird eine saubere, theoretische Fundierung immer wichtiger. Das Buch wendet sich an Studierende im ersten Studienabschnitt und an Pra...

Die theoretische Informatik ist älter als die praktische, angewandte oder technische Informatik. Daher ist sie als wissenschaftliche Disziplin bereits weiter ausgebaut als andere Bereiche der Infor...

Die Theoretische Informatik ist älter als die Praktische, Angewandte oder Techni sche Informatik. Daher ist sie als wissenschaftliche Disziplin bereits weiter ausgebaut als andere Bereiche der Info...

1 Mathematische Grundlagen.- 1.1 Mengen.- 1.2 Strukturen.- 1.3 Übungen.- 2 Algorithmen.- 2.1 Turing-Maschinen.- 2.2 Produktionssysteme.- 2.3 Formulierung von Algorithmen.- 2.4 Übungen.- 3 Berechen-...

Eine kompakte Einführung

Das vorliegende Lehrbuch basiert auf einer vierstündigen Vorlesung mit dem Titel "Grundlagen der Theoretischen Informatik". Die Autoren führen an exemplarischen Problemstellungen der Theoretischen ...

Prof. Dr. Juraj Hromkovic, ETH Zürich

Der Autor bietet eine umfassende Einführung sowohl in die Automatentheorie und die Formalen Sprachen als auch in die Berechenbarkeits- und Komplexitätstheorie sowie in die Algorithmik. Der Verzicht...