41
Formal Methods for Components and Objects [E-Book] : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures /
42
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 /
43
Job Scheduling Strategies for Parallel Processing [E-Book] : 9th International Workshop, JSSPP 2003, Seattle, WA, USA, June 24, 2003, Revised Papers /
44
Formal Methods for Open Object-Based Distributed Systems [E-Book] : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings /
45
Distributed Applications and Interoperable Systems [E-Book] : 4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003, Proceedings /
46
Programming Languages and Systems [E-Book] : First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings /
47
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems [E-Book] : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers /
48
Advances in Cryptology - ASIACRYPT 2003 [E-Book] : 9th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, November 30 - December 4, 2003, Proceedings /
49
Progress in Cryptology -- INDOCRYPT 2003 [E-Book] : 4th International Conference on Cryptology in India, New Delhi, India, December 8-10, 2003, Proceedings /
50
Privacy Enhancing Technologies [E-Book] : Third International Workshop, PET 2003, Dresden, Germany, March 26-28, 2003, Revised Papers /
51
Distributed Computing - IWDC 2003 [E-Book] : 5th International Workshop, Kolkata, India, December 27-30, 2003, Proceedings /
52
Formal Aspects of Security : First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers [E-Book] /