201
Logic-Based Program Synthesis and Transformation [E-Book] : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers /
202
The Common Component Modeling Example [E-Book] : Comparing Software Component Models /
203
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 /
204
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 /
205
GeoSensor Networks [E-Book] : Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers /
206
Large-Scale Scientific Computing [E-Book] : 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers /
207
Ad-hoc, Mobile and Wireless Networks [E-Book] : 7th International Conference, ADHOC-NOW 2008 Sophia-Antipolis, France, September 10-12, 2008 Proceedings /
208
Computational Geometry and Graph Theory [E-Book] : International Conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007. Revised Selected Papers /
209
Transactions on Computational Systems Biology X [E-Book] /
210
Learning and Intelligent Optimization [E-Book] : Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers /
211
Computer Supported Cooperative Work in Design IV [E-Book] : 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers /
212
High Performance Computing for Computational Science - VECPAR 2008 [E-Book] : 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers /
213
Groupware: Design, Implementation, and Use [E-Book] : 14th International Workshop, CRIWG 2008, Omaha, NE, USA, September 14-18, 2008, Revised Selected Papers /