Reliable Software Technologies - Ada-Europe 2008: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

Crafting Interpreters

Reliable Software Technologies – Ada-Europe 2015: 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings

Compiler Design

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

Concurrency in Dependable Computing

C++ Quick Syntax Reference

Reliable Software Technology – Ada-Europe 2005: 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Industrial Deployment of System Engineering Methods

Object-Oriented Programming and Java: Edition 2

Reliable Software Technologies – Ada-Europe 2014: 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

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

Reliable Software Technologies - Ada-Europe 2010: 15th Ada-Europe International Conference on Reliabel Software Technologies, Valencia, Spain, June 14-18, 2010, Proceedings

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

Software Engineering for Resilient Systems: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings

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

Trustworthy Cyber-Physical Systems Engineering

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

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings