1
Embedded Software and Systems [E-Book] / Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings
2
Theory and Applications of Satisfiability Testing - SAT 2007 [E-Book] / 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
3
Computer Supported Cooperative Work in Design III [E-Book] : 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers /
4
Distributed Applications and Interoperable Systems [E-Book] / 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings
5
Formal Methods for Open Object-Based Distributed Systems [E-Book] / 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
6
Communications and Multimedia Security [E-Book] : 11th IFIP TC 6/TC 11 International Conference, CMS 2010, Linz, Austria, May 31 – June 2, 2010. Proceedings /
7
Dependable Computing EDCC-4 [E-Book] : 4th European Dependable Computing Conference Toulouse, France, October 23–25, 2002 Proceedings /
8
Recent Advances in Intrusion Detection [E-Book] : 5th International Symposium, RAID 2002 Zurich, Switzerland, October 16–18, 2002 Proceedings /
9
Mobile Agents for Telecommunication Applications [E-Book] : 4th International Workshop, MATA 2002 Barcelona, Spain, October 23–24, 2002 Proceedings /
10
Distributed Computing [E-Book] : 16th International Conference, DISC 2002 Toulouse, France, October 28–30, 2002 Proceedings /
11
Mobile Agents [E-Book] : 6th International Conference, MA 2002 Barcelona, Spain, October 22–25, 2002 Proceedings /
12
Formal Techniques for Networked and Distributed Sytems — FORTE 2002 [E-Book] : 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings /
13
Information and Communications Security [E-Book] : 4th International Conference, ICICS 2002 Singapore, December 9–12, 2002 Proceedings /
14
Advances in Cryptology — ASIACRYPT 2002 [E-Book] : 8th International Conference on the Theory and Application of Cryptology and Information Security Queenstown, New Zealand, December 1–5, 2002 Proceedings /
15
Job Scheduling Strategies for Parallel Processing [E-Book] : 8th International Workshop, JSSPP 2002 Edinburgh, Scotland, UK, July 24, 2002 Revised Papers /
16
Advances in Computing Science — ASIAN 2002 [E-Book] : Internet Computing and Modeling, Grid Computing, Peer-to-Peer Computing, and Cluster Computing 7th Asian Computing Science Conference Hanoi, Vietnam, December 4–6, 2002 Proceedings /
17
Progress in Cryptology — INDOCRYPT 2002 [E-Book] : Third International Conference on Cryptology in India Hyderabad, India, December 16–18, 2002 Proceedings /
18
Advances in Cryptology — EUROCRYPT 2003 [E-Book] : International Conference on the Theory and Applications of Cryptographic Techniques, Warsaw, Poland, May 4–8, 2003 Proceedings /
19
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 /
20
Composition of Secure Multi-Party Protocols [E-Book] : A Comprehensive Study /