Information Security : 16th International Conference,ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings
Semantics,Logics, and Calculi : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
Agents and Artificial Intelligence : 7th International Conference,ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers
Patch-Based Techniques in Medical Imaging : First International Workshop,Patch-MI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, Octobe
Artificial Life and Computational Intelligence : Second Australasian Conference,ACALCI 2016, Canberra, ACT, Australia, February 2-5, 2016, Proceeding
Cryptography and Information Security in the Balkans : Second International Conference,BalkanCryptSec 2015, Koper, Slovenia, September 3-4, 2015, Rev
Smart Health : International Conference,ICSH 2015, Phoenix, AZ, USA, November 17-18, 2015. Revised Selected Papers
Algorithms and Discrete Applied Mathematics : Second International Conference,CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016, Proceedin
Post-Quantum Cryptography : 7th International Workshop,PQCrypto 2016, Fukuoka, Japan, February 24-26, 2016, Proceedings
Formal Techniques for Safety-Critical Systems : 4th International Workshop,FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
Engineering Trustworthy Software Systems : First International School,SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
WALCOM: Algorithms and Computation : 10th International Workshop,WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings
