101
Quantum Interaction [E-Book] : Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings /
102
Trustworthy Global Computing [E-Book] : 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers /
103
Software Language Engineering [E-Book] : First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers /
104
Human Machine Interaction [E-Book] : Research Results of the MMI Program /
105
Coordination, Organizations, Institutions and Norms in Agent Systems IV [E-Book] : COIN 2008 International Workshops, COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008. COIN@AAAI 2008, Chicago, USA, July 14, 2008. Revised Selected Papers /
106
Logic, Language, and Computation [E-Book] : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers /
107
Trustworthy Software Development Processes [E-Book] : International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings /
108
Hardware and Software: Verification and Testing [E-Book] : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings /
109
Knowledge Acquisition: Approaches, Algorithms and Applications [E-Book] : Pacific Rim Knowledge Acquisition Workshop, PKAW 2008, Hanoi, Vietnam, December 15-16, 2008, Revised Selected Papers /
110
Computational Science – ICCS 2009 [E-Book] : 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I /
111
Multi-Agent-Based Simulation IX [E-Book] : International Workshop, MAPS 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers /
112
Formal to Practical Security [E-Book] : Papers Issued from the 2005-2008 French-Japanese Collaboration /
113
Research in Computational Molecular Biology [E-Book] : 13th Annual International Conference, RECOMB 2009, Tucson, AZ, USA, May 18-21, 2009. Proceedings /
114
Theory and Applications of Models of Computation [E-Book] : 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings /
115
Object-Oriented Technology. ECOOP 2008 Workshop Reader [E-Book] : ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports /
116
Combinatorial Optimization and Applications [E-Book] : Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings /
117
Requirements Engineering: Foundation for Software Quality [E-Book] : 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings /
118
Active and Programmable Networks [E-Book] : IFIP TC6 7th International Working Conference, IWAN 2005, Sophia Antipolis, France, November 21-23, 2005. Revised Papers /
119
Advances in Cryptology - EUROCRYPT 2009 [E-Book] : 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009. Proceedings /
120
Transactions on Computational Science IV [E-Book] : Special Issue on Security in Computing /