Cyber Physical Systems. Design,Modeling, and Evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Procee
OpenSHMEM and Related Technologies. Experiences,Implementations, and Technologies : Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6
Knowledge Representation for Health Care : AIME 2015 International Joint Workshop,KR4HC/ProHealth 2015, Pavia, Italy, June 20, 2015, Revised Selected
Theory and Practice of Natural Computing : Fourth International Conference,TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings
Evaluation of Novel Approaches to Software Engineering : 9th International Conference,ENASE 2014, Lisbon, Portugal, April 28-30, 2014. Revised Select
Hybrid Systems Biology : Second International Workshop,HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienn
Machine Learning Meets Medical Imaging : First International Workshop,MLMMI 2015, Held in Conjunction with ICML 2015, Lille, France, July 11, 2015, R
Recent Trends in Algebraic Development Techniques : 22nd International Workshop,WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Pap
Enterprise Applications and Services in the Finance Industry : 7th International Workshop,FinanceCom 2014, Sydney, Australia, December 2014, Revised
Practical Aspects of Declarative Languages : 18th International Symposium,PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings
Software Engineering : International Summer Schools,LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures
Trustworthy Global Computing : 10th International Symposium,TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers