Algorithmic Decision Theory: 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings

Crafting Interpreters

Compiler Design

Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings

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

SAT 2005: Satisfiability Research in the Year 2005

C++ Quick Syntax Reference

Theory and Applications of Satisfiability Testing – SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings

Object-Oriented Programming and Java: Edition 2

Handbook of Constraint Programming

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

Handbook of Satisfiability: Second Edition

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

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

Rethinking Productivity in Software Engineering

Learn Java for Android Development: Edition 2

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

Pro React