Software Engineering for Resilient Systems : 9th International Workshop,SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings
Verification and Evaluation of Computer and Communication Systems : 11th International Conference,VECoS 2017, Montreal, QC, Canada, August 24-25, 201
Enhanced Quality of Life and Smart Living : 15th International Conference,ICOST 2017, Paris, France, August 29-31, 2017, Proceedings
Coding Theory and Applications : 5th International Castle Meeting,ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings
Interactive Collaborative Robotics : Second International Conference,ICR 2017, Hatfield, UK, September 12-16, 2017, Proceedings
Computer Performance Engineering : 14th European Workshop,EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and
Service-Oriented and Cloud Computing : 6th IFIP WG 2.14 European Conference,ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings
Privacy Technologies and Policy : 5th Annual Privacy Forum,APF 2017, Vienna, Austria, June 7-8, 2017, Revised Selected Papers
Guide to Digital Forensics : A Concise and Practical Introduction
Brain Function Assessment in Learning : First International Conference,BFAL 2017, Patras, Greece, September 24-25, 2017, Proceedings
Graphs in Biomedical Image Analysis,Computational Anatomy and Imaging Genetics : First International Workshop, GRAIL 2017, 6th International Workshop