Verification,Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings
Selected Areas in Cryptography : 19th International Conference,SAC 2012, Windsor, Canada, August 15-16, 2012, Revised Selected Papers
Distributed Computing and Internet Technology : 9th International Conference,ICDCIT 2013, Bhubaneswar, India, February 5-8, 2013, Proceedings
Public-Key Cryptography -- PKC 2013 : 16th International Conference on Practice and Theory in Public-Key Cryptography,Nara, Japan, Feburary 26 -- Mar
Intelligent Information and Database Systems : 5th Asian Conference,ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part II
Intelligent Information and Database Systems : 5th Asian Conference,ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part I
Mobile Computing,Applications, and Services : Fourth International Conference, MobiCASE 2012, Seattle, WA, USA, October 2012. Revised Selected Papers
Graph Drawing : 20th International Symposium,GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers
Adaptive and Natural Computing Algorithms : 11th International Conference,ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013, Proceedings
Information Security and Cryptology -- ICISC 2012 : 15th International Conference,Seoul, Korea, November 28-30, 2012, Revised Selected Papers
NASA Formal Methods : 5th International Symposium,NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Mathematical Morphology and Its Applications to Signal and Image Processing : 11th International Symposium,ISMM 2013, Uppsala, Sweden, May 27-29, 201
