Most Popular Books
- Security And Privacy Management In Service Oriented Architectures: Development Of A Web Services Architecture For Managing Sensitive Data
- Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the Riscal Model Checker
- Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
- Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the Riscal Model Checker
- Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions (Texts & Monographs in Symbolic Computation)
