101
Computational Geometry and Graph Theory [E-Book] : International Conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007. Revised Selected Papers /
102
Sanskrit Computational Linguistics [E-Book] : First and Second International Symposia Rocquencourt, France, October 29-31, 2007 Providence, RI, USA, May 15-17, 2008 Revised Selected and Invited Papers /
103
Engineering Secure Software and Systems [E-Book] : First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings /
104
WALCOM: Algorithms and Computation [E-Book] : Third International Workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009. Proceedings /
105
Transactions on Computational Science III [E-Book] /
106
Graph Drawing [E-Book] : 16th International Symposium, GD 2008, Heraklion, Crete, Greece, September 21-24, 2008. Revised Papers /
107
Integrated Formal Methods [E-Book] : 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings /
108
Information Security Applications [E-Book] : 9th International Workshop, WISA 2008, Jeju Island, Korea, September 23-25, 2008, Revised Selected Papers /
109
Emerging Trends in Visual Computing [E-Book] : LIX Fall Colloquium, ETVC 2008, Palaiseau, France, November 18-20, 2008. Revised Invited Papers /
110
Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy [E-Book] : 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings /
111
Quantum Interaction [E-Book] : Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings /
112
Trustworthy Global Computing [E-Book] : 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers /
113
Large-Scale Scientific Computing [E-Book] : 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers /
114
Constraint Handling Rules [E-Book] : Current Research Topics /
115
Software Language Engineering [E-Book] : First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers /
116
Human Machine Interaction [E-Book] : Research Results of the MMI Program /
117
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 /
118
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 /
119
Trustworthy Software Development Processes [E-Book] : International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings /
120
Hardware and Software: Verification and Testing [E-Book] : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings /