dieter hutter

Kommissar Rex

Der Polizeihund mit dem guten Riecher und sensationellen Einschaltquoten geht zunächst mit Krimin...

Security in Pervasive Computing

Mechanizing Mathematical Reasoning

By presenting state-of-the-art results in logical reasoning and formal methods in the context of ...

Pinselstriche, Klavier und Kunst

Malerei, Musik und Schriftsteller spielen in diesem Gedichtband eine herausgehobene Rolle. Beetho...

Mögliche Maßnahmen, Instrumente und Wirkungen einer Steuerung der Verkehrs- und Siedlungsflächennutzung

Die Enquete-Kommission 'Schutz des Menschen und der Umwelt' hat mit den ehrgeizigen Zielen, die F...

Applied Formal Methods - FM-Trends 98

This volume contains the contributions presented at the International Workshop on Current Trends ...

Security in Pervasive Computing

This book constitutes the thoroughly refereed post-proceedings of the First International Confere...

Pinselstriche, Klavier und Kunst

Malerei, Musik und Schriftsteller spielen in diesem Gedichtband eine herausgehobene Rolle. Beetho...

Rippling

A unique, systematic and comprehensive introduction to rippling and to the wider subject of autom...

Applied Formal Methods - FM-Trends 98

This volume contains the contributions presented at the International Workshop on Current Trends ...

Security in Pervasive Computing

The ongoing compression of computing facilities into small and mobile devices like handhelds, por...

Mechanizing Mathematical Reasoning

By presenting state-of-the-art results in logical reasoning and formal methods in the context ...