- 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)
- Nikon D780 FX Digitalkamera Benutzerhandbuch: Das komplette Handbuch für Hybridfotografie, erweiterte Live-View AF-Funktionen, kinoreife 4K-Videos und professionelle Bildqualität (German Edition)











