21
Logic and the Foundations of Game and Decision Theory – LOFT 8 [E-Book] : 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers /
22
Formal Aspects in Security and Trust [E-Book] : 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers /
23
Grid Generation Methods [E-Book] /
24
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [E-Book] : 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers /
25
Formal Methods for Components and Objects [E-Book] : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /
26
Euro-Par 2009 – Parallel Processing Workshops [E-Book] : HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Revised Selected Papers /
27
Distributed Applications and Interoperable Systems [E-Book] : 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings /
28
AI Approaches to the Complexity of Legal Systems. Complex Systems, the Semantic Web, Ontologies, Argumentation, and Dialogue [E-Book] : International Workshops AICOL-I/IVR-XXIV Beijing, China, September19, 2009 and AICOL-II/JURIX 2009, Rotterdam,The Netherlands, December 16, 2009 Revised Selected Papers /
29
Coordination Models and Languages [E-Book] : 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings /
30
Formal Techniques for Distributed Systems [E-Book] : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings /
31
Motion in Games [E-Book] : Third International Conference, MIG 2010, Utrecht, The Netherlands, November 14-16, 2010. Proceedings /
32
Advances in Computational Vision and Medical Image Processing [E-Book] : Methods and Applications /
33
Fundamental Problems in Computing [E-Book] : Essays in Honor of Professor Daniel J. Rosenkrantz /
34
Numerical Methods for Nonlinear Engineering Models [E-Book] /
35
Origins and Successors of the Compact Disc [E-Book] : Contributions of Philips to Optical Storage /
36
Progress on Meshless Methods [E-Book] /
37
Designing Reliable and Efficient Networks on Chips [E-Book] /
38
Unexploded Ordnance Detection and Mitigation [E-Book] /
39
Structured Analog CMOS Design [E-Book] /
40
Recent Advances in Boundary Element Methods [E-Book] : A Volume to Honor Professor Dimitri Beskos /