- Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
- Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings (Lecture ... Computer Science and General Issues)
- Stabile Schieflage
- Canon EOS R100 spiegellose Kamera Benutzerhandbuch: Der Komplette Praxis-Ratgeber für Alltägliche Aufnahmen, Mit Schritt-für-Schritt Anleitungen und ... Anfänger und Enthusiasten (German Edition)
- Leica SL3-S spiegellose Kamera Benutzerhandbuch: Das umfassende Hybrid-Shooter-Handbuch für 30 fps-Fotografie & kinoreifes 6K-Video mit Profi-Tipps und maßgeschneiderten Einstellungen (German Edition)