Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

Challenges for Next Generation Network Operations and Service Management: 11th Asia-Pacific Network Operations and Management Symposium, APNOMS 2008, Beijing, China, October 22-24, 2008. Proceedings

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

Next Generation Networks. Networks and Services for the Information Society: 5th IFIP TC6 International Symposium, INTERWORKING 2000, Bergen, Norway, October 3-6, 2000 Proceedings

Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

Crafting Interpreters

Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings

Compiler Design

Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures

Xamarin Mobile Application Development: Cross-Platform C# and Xamarin.Forms Fundamentals

Theoretical Computer Science: 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings

Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings

C++ Quick Syntax Reference

Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Foundations of Probabilistic Programming

Practical TLA+: Planning Driven Development

Security and Trust Management: 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings