81
Algorithms for Memory Hierarchies [E-Book] : Advanced Lectures /
82
Future Directions in Distributed Computing [E-Book] : Research and Position Papers /
83
Power-Aware Computer Systems [E-Book] : Second International Workshop, PACS 2002 Cambridge, MA, USA, February 2, 2002 Revised Papers /
84
Advanced Symbolic Analysis for Compilers [E-Book] : New Techniques and Algorithms for Symbolic Program Analysis and Optimization /
85
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [E-Book] : 13th International Workshop, PATMOS 2003, Torino, Italy, September 10-12, 2003, Proceedings /
86
Composition of Secure Multi-Party Protocols [E-Book] : A Comprehensive Study /
87
Privacy Enhancing Technologies [E-Book] : Third International Workshop, PET 2003, Dresden, Germany, March 26-28, 2003, Revised Papers /
88
Digital Rights Management [E-Book] : ACM CCS-9 Workshop, DRM 2002, Washington, DC, USA, November 18, 2002, Revised Papers /
89
Security Engineering with Patterns [E-Book] : Origins, Theoretical Models, and New Applications /
90
Computer Security - ESORICS 2003 [E-Book] : 8th European Symposium on Research in Computer Security, Gjovik, Norway, October 13-15, 2003, Proceedings /
91
Formal Methods for Components and Objects [E-Book] : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures /
92
Self-Managing Distributed Systems [E-Book] : 14th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2003, Heidelberg, Germany, October 20-22, 2003, Proceedings /
93
Quality of Service — IWQoS 2003 [E-Book] : 11th International Workshop Berkeley, CA, USA, June 2–4, 2003 Proceedings /
94
Digital Rights Management [E-Book] : Technological, Economic, Legal and Political Aspects /
95
Peer-to-Peer Systems II [E-Book] : Second International Workshop, IPTPS 2003, Berkeley, CA, USA, February 21-22,2003, Revised Papers /
96
Architecting Dependable Systems [E-Book] /