Foundations of Security Analysis and Design VII : FOSAD 2012 / 2013 Tutorial Lectures
Formal Methods in Macro-Biology : First International Conference,FMMB 2014, Noumea, New Caledonia, September 22-14, 2014, Proceedings
Advances in Autonomous Robotics Systems : 15th Annual Conference,TAROS 2014, Birmingham, UK, September 1-3, 2014. Proceedings
Formal Modeling and Analysis of Timed Systems : 12th International Conference,FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings
Computer Performance Engineering : 11th European Workshop,EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings
Web Reasoning and Rule Systems : 8th International Conference,RR 2014, Athens, Greece, September 15-17, 2014. Proceedings
Reachability Problems : 8th International Workshop,RP 2014, Oxford, UK, September 22-24, 2014, Proceedings
Cloud Computing and Services Science : Third International Conference,CLOSER 2013, Aachen, Germany, May 8-10, 2013, Revised Selected Papers
Multiagent System Technologies : 12th German Conference,MATES 2014, Stuttgart, Germany, September 23-25, 2014, Proceedings
Serious Games Development and Applications : 5th International Conference,SGDA 2014, Berlin, Germany, October 9-10, 2014. Proceedings
Artificial Evolution : 11th International Conference,Evolution Artificielle, EA 2013, Bordeaux, France, October 21-23, 2013. Revised Selected Papers
Information Systems for Crisis Response and Management in Mediterranean Countries : First International Conference,ISCRAM-med 2014, Toulouse, France
