Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and
Reachability Problems : 10th International Workshop,RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
Clinical Image-Based Procedures. Translational Research in Medical Imaging : 5th International Workshop,CLIP 2016, Held in Conjunction with MICCAI 20
Scala: From a Functional Programming Perspective : An Introduction to the Programming Language
Foundational and Practical Aspects of Resource Analysis : 4th International Workshop,FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
Human Behavior Understanding : 7th International Workshop,HBU 2016, Amsterdam, The Netherlands, October 16, 2016, Proceedings
Autonomous Agents and Multiagent Systems : AAMAS 2016 Workshops,Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers
Patch-Based Techniques in Medical Imaging : Second International Workshop,Patch-MI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, Octobe
Cyber-Physical Systems of Systems : Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy
Advances in Conceptual Modeling : ER 2016 Workshops,AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14-17, 2016, Proceedings
Algorithms and Models for the Web Graph : 13th International Workshop,WAW 2016, Montreal, QC, Canada, December 14-15, 2016, Proceedings
Formal Methods: Foundations and Applications : 19th Brazilian Symposium,SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
