Formal Methods: An Appetizer

Crafting Interpreters

Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings

Compiler Design

Semantics with Applications: An Appetizer

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

C++ Quick Syntax Reference

Coordination Programming: Mechanisms, Models And Semantics

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Type And Effect Systems: Behaviours For Concurrency

Object-Oriented Programming and Java: Edition 2

Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

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

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

Pro .NET Memory Management: For Better Code, Performance, and Scalability