Conference proceedings.

Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012 : revised selected papers [NT 59711] by: Beek, Maurice H. ter; WS-FM 2012 (2012)); Lohmann, N. ([NT 1579] 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 [NT 59711] by: Lenz, Richard ... [et al.] ([NT 1579] Language materials, printed)

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

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

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

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

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

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