Advanced Parallel Processing Technologies : 9th International Symposium,APPT 2011, Shanghai, China, September 26-27, 2011, Proceedings
Reachability Problems : 5th International Workshop,RP 2011, Genoa, Italy, September 28-30, 2011, Proceedings
Frontiers of Combining Systems : 8th International Symposium,FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
Model and Data Engineering : First International Conference,MEDI 2011, Obidos, Portugal, September 28-30, 2011. Proceedings
Multimodal Brain Image Analysis : First International Workshop,MBIA 2011, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 18, 2011
Advances in Nonlinear Speech Processing : 5th International Conference on Nonlinear Speech Processing,NoLISP 2011, Las Palmas de Gran Canaria, Spain
Formal Methods: Foundations and Applications : 14th Brazilian Symposium,SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings
Advances in Information and Computer Security : 6th International Workshop on Security,IWSEC 2011, Tokyo, Japan, November 8-10, 2011. Proceedings
Business Process Model and Notation : Third International Workshop,BPMN 2011, Lucerne, Switzerland, November 21-22, 2011, Proceedings
Empirical Software Engineering and Verification : International Summer Schools,LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
SDL 2011: Integrating System and Software Modeling : 15th International SDL Forum Toulouse,France, July 5-7, 2011. Revised Papers
Decision and Game Theory for Security : Second International Conference,GameSec 2011, College Park, MD, Maryland, USA, November 14-15, 2011, Proceedi
