1
Formal Methods for Components and Objects [E-Book] : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /
2
Distributed Applications and Interoperable Systems [E-Book] : 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings /
3
Euro-Par 2009 Parallel Processing [E-Book] : 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009. Proceedings /
4
Architecture of Computing Systems – ARCS 2009 [E-Book] : 22nd International Conference, Delft, The Netherlands, March 10-13, 2009. Proceedings /
5
Formal Methods for Components and Objects [E-Book] : 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures /
6
Engineering Self-Organising Systems (vol. # 3910) [E-Book] / Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers
7
Embedded Systems – Modeling, Technology, and Applications [E-Book] /
8
Formal Methods for Components and Objects (vol. # 4111) [E-Book] / 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
9
Advances in Grid Computing - EGC 2005 [E-Book] / European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers
10
Formal Methods for Components and Objects (vol. # 3657) [E-Book] / Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
11
Distributed Computing [E-Book] : 18th International Conference, DISC 2004, Amsterdam, The Netherlands, October 4-8, 2004. Proceedings /
12
Software and Compilers for Embedded Systems [E-Book] : 8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004, Proceedings /
13
Information Hiding [E-Book] : 5th International Workshop, IH 2002 Noordwijkerhout, The Netherlands, October 7-9, 2002 Revised Papers /
14
Formal Methods for Components and Objects [E-Book] : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures /
15
Lectures on Embedded Systems [E-Book] : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996 /