Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings

Code Complete: Edition 2

FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings

Crafting Interpreters

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

PHP, MySQL & JavaScript All in One, Sams Teach Yourself: Edition 6

Engineering Agile Big-Data Systems

Arduino Book for Beginners

FM'99 - Formal Methods: World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I

The Practice of Programming

PHP and MySQL Web Development: Edition 5

Model-Based Software Testing and Analysis with C#

Python Cookbook: Recipes for Mastering Python 3, Edition 3

Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings

Google Apps Script: Web Application Development Essentials, Edition 2

Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Adventures in Rule-Based Programming: A CLIPS Tutorial

Creating Mobile Apps with Xamarin.Forms Preview Edition 2

The Self-taught Programmer: The Definitive Guide to Programming Professionally

Simple Technology to Support Research