1
Platform Based Design at the Electronic System Level [E-Book] : Industry Perspectives and Experiences /
2
Principles and Practice of Multi-Agent Systems [E-Book] : 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers /
3
Agents in Principle, Agents in Practice [E-Book] : 14th International Conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011. Proceedings /
4
Recent Advances in the Message Passing Interface [E-Book] : 18th European MPI Users’ Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011. Proceedings /
5
Parallel Computing Technologies [E-Book] : 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings /
6
Static Analysis [E-Book] : 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings /
7
Product-Focused Software Process Improvement [E-Book] : 12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings /
8
Transactions on Aspect-Oriented Software Development VIII [E-Book] /
9
QVT - Relations Language [E-Book] : Modellierung mit der Query Views Transformation /
10
Relational and Algebraic Methods in Computer Science [E-Book] : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings /
11
Advances in Design and Specification Languages for SoCs [E-Book] : Selected Contributions from FDL’04 /
12
Model and Data Engineering [E-Book] : First International Conference, MEDI 2011, Óbidos, Portugal, September 28-30, 2011. Proceedings /
13
Evolving Connectionist Systems [E-Book] : The Knowledge Engineering Approach /
14
Leveraging Applications of Formal Methods, Verification and Validation [E-Book] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings /
15
Model-Based Software Performance Analysis [E-Book] /
16
Coloured Petri Nets [E-Book] : Modelling and Validation of Concurrent Systems /
17
Computer And Computing Technologies In Agriculture, Volume II [E-Book] : First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007 /
18
Computer And Computing Technologies In Agriculture, Volume I [E-Book] : First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007 /
19
Advances in Enterprise Engineering III [E-Book] : 5th International Workshop, CIAO! 2009, and 5th International Workshop, EOMAS 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 8-9, 2009. Proceedings /
20
Euro-Par 2008 Workshops - Parallel Processing [E-Book] : VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers /