Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers

Crafting Interpreters

Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers

Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

Farming Simulator Modding For Dummies

Gravity Advanced Level Physics GCE (Easy JavaScript Simulation) 1/2: 20170802 version

Compiler Design

100 Excel Simulations: Using Excel to Model Risk, Investments, Genetics, Growth, Gambling and Monte Carlo Analysis

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

C++ Quick Syntax Reference

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Practical TLA+: Planning Driven Development

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++

The Dark Web Guide: Ethical Exploration & Cyber Threats

Learn Java for Android Development: Edition 2

Unity 4.x Game Development by Example Beginner's Guide