1
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 /
2
Cryptographic Hardware and Embedded Systems -- CHES 2003 [E-Book] : 5th International Workshop, Cologne, Germany, September 8-10, 2003, Proceedings /
3
Advances in Computer Systems Architecture [E-Book] : 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, September 23-26, 2003, Proceedings /
4
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 /
5
Formal Techniques for Networked and Distributed Systems - FORTE 2003 [E-Book] : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 /