Internet architecture and innovation

High Performance Computing Third Latin American Conference, CARLA 2016, Mexico City, Mexico, August 29–September 2, 2016, Revised Selected Papers

Smart Cities, Green Technologies, and Intelligent Transport Systems 5th International Conference, SMARTGREENS 2016, and Second International Conference, VEHITS 2016, Rome, Italy, April 23-25, 2016, Revised Selected Papers

Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers

Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

Information and Communication Technologies for Ageing Well and e-Health Second International Conference, ICT4AWE 2016, Rome, Italy, April 21-22, 2016, Revised Selected Papers

Theory and Applications of Satisfiability Testing – SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

Stabilization, Safety, and Security of Distributed Systems 19th International Symposium, SSS 2017, Boston, MA, USA, November 5–8, 2017, Proceedings

Critical Information Infrastructures Security 11th International Conference, CRITIS 2016, Paris, France, October 10–12, 2016, Revised Selected Papers

Human-Computer Interaction - INTERACT 2017 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part II

Human-Computer Interaction - INTERACT 2017 16th IFIP TC 13 International Conference, Mumbai, India, September 25–29, 2017, Proceedings, Part I