141
Constraint Handling Rules [E-Book] : Current Research Topics /
142
Transactions on Computational Science III [E-Book] /
143
New Frontiers in Applied Data Mining [E-Book] : PAKDD 2008 International Workshops, Osaka, Japan, May 20-23, 2008. Revised Selected Papers /
144
The Common Component Modeling Example [E-Book] : Comparing Software Component Models /
145
Software Engineering [E-Book] : International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures /
146
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 /
147
Human Machine Interaction [E-Book] : Research Results of the MMI Program /
148
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 /
149
Reflections on the Teaching of Programming [E-Book] : Methods and Implementations /
150
Service-Oriented Computing - ICSOC 2007 Workshops [E-Book] : ICSOC 2007, International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers /
151
Multimodal Signals: Cognitive and Algorithmic Issues [E-Book] : COST Action 2102 and euCognition International School Vietri sul Mare, Italy, April 21-26, 2008 Revised Selected and Invited Papers /
152
Algorithmics of Large and Complex Networks [E-Book] : Design, Analysis, and Simulation /
153
Scalability of Networks and Services [E-Book] : Third International Conference on Autonomous Infrastructure, Management and Security, AIMS 2009 Enschede, The Netherlands, June 30–July 2, 2009. Proceedings /
154
Theory and Applications of Satisfiability Testing - SAT 2009 [E-Book] : 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings /
155
Dataspace: The Final Frontier [E-Book] : 26th British National Conference on Databases, BNCOD 26, Birmingham, UK, July 7-9, 2009. Proceedings /
156
Detection of Intrusions and Malware, and Vulnerability Assessment [E-Book] : 6th International Conference, DIMVA 2009, Como, Italy, July 9-10, 2009. Proceedings /
157
Advances in Spatial and Temporal Databases [E-Book] : 11th International Symposium, SSTD 2009 Aalborg, Denmark, July 8-10, 2009 Proceedings /
158
Logic-Based Program Synthesis and Transformation [E-Book] : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers /
159
Focused Access to XML Documents [E-Book] : 6th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2007 Dagstuhl Castle, Germany, December 17-19, 2007. Selected Papers /
160
HCI and Usability for Education and Work [E-Book] : 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2008, Graz, Austria, November 20-21, 2008. Proceedings /