Conference proceedings.

Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012 : revised selected papers by: Beek, Maurice H. ter; WS-FM 2012 (2012)); Lohmann, N. (Language materials, printed)

Process support and knowledge representation in health care : BPM 2012 Joint Workshop, ProHealth 2012/KR4HC 2012, Tallinn, Estonia, September 3, 2012 : revised selected papers by: Lenz, Richard ... [et al.] (Language materials, printed)

Information security practice and experience : 9th international conference, ISPEC 2013, Lanzhou, China, May 12-14, 2013 : proceedings by: Feng, Tao; ISPEC (Conference) (2013)); Deng, Robert H. (Language materials, printed)

Intelligent information and database systems : 5th Asian conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, proceedings by: Haron, Habibollah; Selamat, Ali; Nguyen, Ngoc Thanh (Language materials, printed)

Medicine Meets Virtual Reality 21 : NextMed/MMVR21 by: Medicine Meets Virtual Reality (2014); Westwood, James D. (Electronic resources)

Legal knowledge and information systems : JURIX 2014: The Twenty-Seventh Annual Conference by: Hoekstra, Rinke; JURIX (Conference) (2014) (Electronic resources)

New trends in software methodologies, tools and techniques : proceedings of the Thirteenth SoMeT_14 by: Selmat, Ali; International Conference on New Trends in Software Methodologies, Tools and Techniques (2014); Haron, Habibollah; Fujita, Hamido (Electronic resources)

Atom interferometry by: Tino, Guglielmo M.; Kasevich, M. A.; International School of Physics "Enrico Fermi" (2013) (Electronic resources)