Dependable Computing : 14th European Workshop,EWDC 2013, Coimbra, Portugal, May 15-16, 2013, Proceedings
Formal Methods for Dynamical Systems : 13th International School on Formal Methods for the Design of Computer,Communication, and Software Systems, SF
Combinatorial Pattern Matching : 24th Annual Symposium,CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013, Proceedings
Trust and Trustworthy Computing : 6th International Conference,TRUST 2013, London, UK, June 17-19, 2013, Proceedings
Modelling Foundations and Applications : 9th European Conference,ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings
Unconventional Computation and Natural Computation : 12th International Conference,UCNC 2013, Milan, Italy, July 1-5, 2013, Proceedings
Privacy Enhancing Technologies : 13th International Symposium,PETS 2013, Bloomington, IN, USA, July 10-12, 2013, Proceedings
E-Voting and Identity : 4th International Conference,Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings
Detection of Intrusions and Malware,and Vulnerability Assessment : 10th International Conference, DIMVA 2013, Berlin, Germany, July 18-19, 2013. Proc
Structured Object-Oriented Formal Language and Method : Second International Workshop,SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Pa
Mathematics and Computation in Music : 4th International Conference,MCM 2013, Montreal, Canada, June 12-14, 2013, Proceedings
Data Integration in the Life Sciences : 9th International Conference,DILS 2013, Montreal, Canada, July 11-12, 2013, Proceedings
