Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings

Crafting Interpreters

The Go Programming Language

Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings

Get Your Hands Dirty on Clean Architecture: A hands-on guide to creating clean web applications with code examples in Java

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

PHP and MySQL Web Development: Edition 5

An Introduction to Description Logic

The Practice of Programming

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings

Python Cookbook: Recipes for Mastering Python 3, Edition 3

Google Apps Script: Web Application Development Essentials, Edition 2

C in a Nutshell: The Definitive Reference, Edition 2

Code: The Hidden Language of Computer Hardware and Software, Edition 2

Creating Mobile Apps with Xamarin.Forms Preview Edition 2

Code Complete: Edition 2

The Rust Programming Language, 2nd Edition

The Ruby Programming Language: Everything You Need to Know

Simple Technology to Support Research

Effective Modern C++: 42 Specific Ways to Improve Your Use of C++11 and C++14