Most Popular Books
- Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, Tacas 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2
- Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th ...
- At The Pinnacle: One Woman's Running Journey
