Measurement, Modelling and Evaluation of Computing Systems: 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020, Proceedings

Crafting Interpreters

Compiler Design

CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006

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

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings

C++ Quick Syntax Reference

Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Dependable Software Engineering. Theories, Tools, and Applications: 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings

Object-Oriented Programming and Java: Edition 2

The Theory of Timed I/O Automata

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

The Theory of Timed I/O Automata, Second Edition: Edition 2

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

Validation of Stochastic Systems: A Guide to Current Research

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