Most Popular Books
- Applied Information Security: A Hands-on Approach
- Rippling: Meta-Level Guidance for Mathematical Reasoning (CAMBRIDGE TRACTS IN THEORETICAL COMPUTER SCIENCE)
- Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings (Lecture Notes in Computer Science)
- The Complete Guide to SCION: From Design Principles to Formal Verification
