Game Theory for Networks : Third International ICST Conference,GameNets 2012, Vancouver, Canada, May 24-26, 2012, Revised Selected Papers
Construction and Evolution of Code Generators : A Model-Driven and Service-Oriented Approach
Mobile Wireless Middleware,Operating Systems, and Applications : 5th International Conference, Mobilware 2012, Berlin, Germany, November 13-14, 2012
Personal Satellite Services : 4th International ICST Conference,PSATS 2012, Bradford, UK, March 22-23, 2012. Revised Selected Papers
Your Virtual Butler : The Making-of
Arts and Technology : Third International Conference,ArtsIT 2013, Milan, Bicocca, Italy, March 21-23, 2013, Revised Selected Papers
The Future Internet : Future Internet Assembly 2013: Validated Results and New Horizons
Model-Based Engineering of Embedded Systems : The SPES 2020 Methodology
Theory and Applications of Formal Argumentation : Second International Workshop,TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected Papers
Bridging Between Information Retrieval and Databases : PROMISE Winter School 2013,Bressanone, Italy, February 4-8, 2013. Revised Tutorial Lectures
Compiler Construction : 23rd International Conference,CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETA
From Programs to Systems - The Systems Perspective in Computing : ETAPS Workshop,FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 201
