Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods,ICFEM 2012, Kyoto, Japan, November 12-16, 2012
Learning and Intelligent Optimization : 6th International Conference,LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers
Computational Collective Intelligence. Technologies and Applications : 4th International Conference,ICCCI 2012, Ho Chi Minh City, Vietnam, November 2
Progress in Cryptology - INDOCRYPT 2012 : 12th International Conference on Cryptology in India,Chennai, India, December 11-14, 2011, Proceedings13th
Middleware 2012 : ACM/IFIP/USENIX 13th International Middleware Conference,Montreal, Canada, December 3-7, 2012. Proceedings
Ubiquitous Computing and Ambient Intelligence : 6th International Conference,UCAmI 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012, Proceedings
Social Informatics : 4th International Conference,SocInfo 2012, Lausanne, Switzerland, December 5-7, 2012, Proceedings
Testbeds and Research Infrastructure: Development of Networks and Communities : 8th International ICST Conference,TridentCom 2012, Thessanoliki, Gree
Advances in Multimedia Modeling : 19th International Conference,MMM 2013, Huangshan, China, January 7-9, 2013, Proceedings, Part I
Advances in Multimedia Modeling : 19th International Conference,MMM 2012, Huangshan, China, January 7-9, 2012, Proceedings, Part II
SOFSEM 2013: Theory and Practice of Computer Science : 39th International Conference on Current Trends in Theory and Practice of Computer Science,Šp