1
Implementation and Application of Functional Languages [E-Book] : 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers /
2
Generative and Transformational Techniques in Software Engineering III [E-Book] : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers /
3
Hardware and Software: Verification and Testing [E-Book] : 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers /
4
Agent-Oriented Software Engineering X [E-Book] : 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers /
5
VLSI-SoC: Technologies for Systems Integration [E-Book] : 17th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2009, Florianópolis, Brazil, October 12-14, 2009, Revised Selected Papers /
6
Knowledge Discovery, Knowlege Engineering and Knowledge Management [E-Book] : First International Joint Conference, IC3K 2009, Funchal, Madeira, Portugal, October 6-8, 2009, Revised Selected Papers /
7
Software and Data Technologies [E-Book] : 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009. Revised Selected Papers /
8
Business Process Management Workshops [E-Book] : BPM 2009 International Workshops, Ulm, Germany, September 7, 2009. Revised Papers /
9
Models in Software Engineering [E-Book] : Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers /
10
S-BPM ONE – Setting the Stage for Subject-Oriented Business Process Management [E-Book] : First International Workshop, Karlsruhe, Germany, October 22, 2009. Revised Selected Papers /
11
Systems and Virtualization Management. Standards and the Cloud [E-Book] : Third International DMTF Academic Alliance Workshop, SVM 2009, Wuhan, China, September 22-23, 2009. Revised Selected Papers /
12
Tools for High Performance Computing 2009 [E-Book] : Proceedings of the 3rd International Workshop on Parallel Tools for High Performance Computing, September 2009, ZIH, Dresden /
13
RoboCup 2009: Robot Soccer World Cup XIII [E-Book] /
14
Formal Methods for Components and Objects [E-Book] : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /
15
High Performance Computing and Applications [E-Book] : Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers /
16
Computational Logic in Multi-Agent Systems [E-Book] : 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers /
17
Multi-Agent-Based Simulation X [E-Book] : International Workshop, MABS 2009, Budapest, Hungary, May 11-12, 2009 Revised Selected Papers /
18
Euro-Par 2009 – Parallel Processing Workshops [E-Book] : HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Revised Selected Papers /
19
Task Models and Diagrams for User Interface Design [E-Book] : 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers /
20
Future Internet - FIS 2009 [E-Book] : Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009 /