Programming Languages and Systems: 20th European Symposium on Programming, ESOP 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

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

Compiler Design

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

Programming Languages: 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings

C++ Quick Syntax Reference

LATIN 2014: Theoretical Informatics: 11th Latin American Symposium, Montevideo, Uruguay, March 31 -- April 4, 2014. Proceedings

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

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

Object-Oriented Programming and Java: Edition 2

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

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

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

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

Foundations of Probabilistic Programming

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

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

Lecture Slides for the Clang Libraries [LLVM/Clang 15] (Edition 0.0)

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