41
Formal Methods for Web Services [E-Book] : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures /
42
Scientific and Statistical Database Management [E-Book] : 21st International Conference, SSDBM 2009 New Orleans, LA, USA, June 2-4, 2009 Proceedings /
43
Evolving OpenMP in an Age of Extreme Parallelism [E-Book] : 5th International Workshop on OpenMP, IWOMP 2009 Dresden, Germany, June 3-5, 2009 Proceedings /
44
Formal to Practical Security [E-Book] : Papers Issued from the 2005-2008 French-Japanese Collaboration /
45
Smart Graphics [E-Book] : 10th International Symposium, SG 2009, Salamanca, Spain, May 28-30, 2009. Proceedings /
46
Constraint Handling Rules [E-Book] : Current Research Topics /
47
Logic-Based Program Synthesis and Transformation [E-Book] : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers /
48
The Common Component Modeling Example [E-Book] : Comparing Software Component Models /
49
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 /
50
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 /
51
Reflections on the Teaching of Programming [E-Book] : Methods and Implementations /
52
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 /
53
Transactions on Computational Science III [E-Book] /
54
Cognitive Vision [E-Book] : 4th International Workshop, ICVW 2008, Santorini, Greece, May 12, 2008, Revised Selected Papers /
55
Advances in Image and Video Technology [E-Book] : Third Pacific Rim Symposium, PSIVT 2009, Tokyo, Japan, January 13-16, 2009. Proceedings /
56
High Performance Embedded Architectures and Compilers [E-Book] : Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings /
57
Computer Performance Evaluation and Benchmarking [E-Book] : SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings /
58
Service-Oriented Computing - ICSOC 2007 Workshops [E-Book] : ICSOC 2007, International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers /
59
Software Engineering [E-Book] : International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures /
60
SOFSEM 2009: Theory and Practice of Computer Science [E-Book] : 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings /