Most Popular Books
- A Process Algebraic Approach to Software Architecture Design
- User-Centric Networking: Future Perspectives
- Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, ... Italy, June 21, 2010, Advanced Lectures
- Foundations of Security Analysis and Design: FOSAD 2006/2007 Turtorial Lectures (Lecture Notes in Computer Science / Security and Cryptology) (No. 4)
- Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures
