Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings

Crafting Interpreters

Generic Programming: Advanced Lectures

Compiler Design

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

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures

C++ Quick Syntax Reference

Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Object-Oriented Programming and Java: Edition 2

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

Oracle and PL/SQL Recipes: A Problem-Solution Approach

Beginning C++17: From Novice to Professional, Edition 5