Most Popular Books
- Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
- Tools and Algorithms for the Construction and Analysis of Systems
- Digitaltechnik - Eine praxisnahe Einführung (Springer-Lehrbuch) (German Edition)
