Most Popular Books
- Achievement Motivation in Perspective
- 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)
- Lexikon " Musik uber Musik " : Variationen, Transkriptionen, Hommagen, Stilimitationen, B-A-C-H
- Stabile Schieflage