Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Crafting Interpreters

Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

Compiler Design

Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings

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

C++ Quick Syntax Reference

Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Object-Oriented Programming and Java: Edition 2

Rigorous State-Based Methods: 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings

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

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

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

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

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

Learn Java for Android Development: Edition 2

Pro React

TouchDevelop: Programming on the Go, Edition 3