Multi-Agent Systems and Agreement Technologies : 13th European Conference,EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, De
Image and Signal Processing : 7th International Conference,ICISP 2016, Trois-Rivières, QC, Canada, May 30 - June 1, 2016, Proceedings
Wired/Wireless Internet Communications : 14th IFIP WG 6.2 International Conference,WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedings
Integration of AI and OR Techniques in Constraint Programming : 13th International Conference,CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016
Advances in Artificial Intelligence : 29th Canadian Conference on Artificial Intelligence,Canadian AI 2016, Victoria, BC, Canada, May 31 - June 3, 20
Software Reuse: Bridging with Social-Awareness : 15th International Conference,ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings
Introduction to Scientific Visualization
Principles of the Spin Model Checker
Managing Software Quality : A Measurement Framework for Assessment and Prediction
Software Verification and Analysis : An Integrated,Hands-On Approach
A Windows NT™ Guide to the Web : Covering browsers,servers, and related software
Programming for Everyone in Java
