181
Advanced Data Mining and Applications [E-Book] : Third International Conference, ADMA 2007 Harbin, China, August 6-8, 2007 Proceedings /
182
Declarative Agent Languages and Technologies V [E-Book] : 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers /
183
SOFSEM 2008: Theory and Practice of Computer Science [E-Book] : 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings /
184
Software Architectures, Components, and Applications [E-Book] : Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers /
185
Wireless Sensor Networks [E-Book] : 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings /
186
Software Technologies for Embedded and Ubiquitous Systems [E-Book] : 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings /
187
Formal Methods and Software Engineering [E-Book] : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings /
188
Service-Oriented Computing [E-Book] : 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings /
189
Formal Concept Analysis [E-Book] : 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings /
190
Architecture of Computing Systems – ARCS 2008 [E-Book] : 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings /
191
Cloud Computing [E-Book] : First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009. Proceedings /
192
Programming Languages and Systems [E-Book] : 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings /
193
Model Checking Software [E-Book] : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings /
194
Computer Safety, Reliability, and Security (vol. # 4166) [E-Book] / 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings
195
Model Driven Engineering Languages and Systems (vol. # 4199) [E-Book] / 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings
196
Generative and Transformational Techniques in Software Engineering [E-Book] / International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers
197
Autonomic and Trusted Computing [E-Book] : 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007. Proceedings /
198
Component-Based Software Engineering [E-Book] : 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings /
199
Automated Deduction – CADE-21 [E-Book] : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings /
200
Web Engineering [E-Book] : 7th International Conference, ICWE 2007 Como, Italy, July 16-20, 2007 Proceedings /