Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers

Crafting Interpreters

Object, Models, Components, Patterns: 50th International Conference, TOOLS Europe 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings

Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

Farming Simulator Modding For Dummies

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

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010

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

Modeling Time in Computing

Compiler Design

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