Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference

Architecture and Interaction : Human Computer Interaction in Space and Place

Biologics for the Treatment of Rheumatoid Arthritis

Analysis II

Internet of Things Technologies for HealthCare : Third International Conference, HealthyIoT 2016, Vasteras, Sweden, October 18-19, 2016, Revised Selected Papers

Multiple Access Communications : 9th International Workshop, MACOM 2016, Aalborg, Denmark, November 21-22, 2016, Proceedings

Machine Learning, Optimization, and Big Data : Second International Workshop, MOD 2016, Volterra, Italy, August 26-29, 2016, Revised Selected Papers

Statics and Influence Functions - from a Modern Perspective

Spectral and Shape Analysis in Medical Imaging : First International Workshop, SeSAMI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, Revised Selected Papers

Photoactive Semiconductor Nanocrystal Quantum Dots : Fundamentals and Applications

The Electric Century : How the Taming of Lightning Shaped the Modern World

Stem Anatomy of Dalbergia and Diospyros Species from Madagascar : with a Special Focus on Wood Identification

Advances in Production Management Systems. Initiatives for a Sustainable World : IFIP WG 5.7 International Conference, APMS 2016, Iguassu Falls, Brazil, September 3-7, 2016, Revised Selected Papers

Flexible and Generalized Uncertainty Optimization : Theory and Methods

Global Security, Safety and Sustainability: The Security Challenges of the Connected World : 11th International Conference, ICGS3 2017, London, UK, January 18-20, 2017, Proceedings

Online Intermediaries for Co-Creation : An Explorative Study in Healthcare

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments : Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers

Engineering Multi-Agent Systems : 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers

Graphical Simulation of Deformable Models

Applied Computer Sciences in Engineering : Third Workshop on Engineering Applications, WEA 2016, Bogota, Colombia, September 21-23, 2016, Revised Selected Papers

Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Formal Methods for Industrial Critical Systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings

Integrated Formal Methods : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings

Formal Aspects of Component Software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

Quantitative Evaluation of Systems : 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings

Integrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Integrated Formal Methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings

Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Integrated Formal Methods : 7th International Conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings

Integrated Formal Methods : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings

Integrated Formal Methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.

Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Integrated Formal Methods : Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings

Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

IFM'99 : Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999

Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

Formal Methods in Macro-Biology : First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-14, 2014, Proceedings

Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings

Computer Performance Engineering : 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings

Formal Modeling and Analysis of Timed Systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings