Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

Crafting Interpreters

Empowering Open and Collaborative Governance: Technologies and Methods for Online Citizen Engagement in Public Policy Making

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

Compiler Design

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

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

FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

C++ Quick Syntax Reference

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Lightweight Cryptography for Security and Privacy: Third International Workshop, LightSec 2014, Istanbul, Turkey, September 1-2, 2014, Revised Selected Papers

Object-Oriented Programming and Java: Edition 2

NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings

Beginning C for Arduino, Second Edition: Learn C Programming for the Arduino, Edition 2

Validation of Evolving Software

Pro TBB: C++ Parallel Programming with Threading Building Blocks

Model Checking, second edition

Exploring C++: The Programmer's Introduction to C++

Combinatorial Image Analysis: 15th International Workshop, IWCIA 2012, Austin, TX, USA, November 28-30, 2012, Proceedings