Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

Crafting Interpreters

ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

Compiler Design

Agent-Based Hybrid Intelligent Systems: An Agent-Based Framework for Complex Problem Solving

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

Industrial-Strength Formal Methods in Practice

C++ Quick Syntax Reference

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Object-Oriented Programming and Java: Edition 2

Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers

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

Knowledge Science, Engineering and Management: Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings

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

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

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Rethinking Productivity in Software Engineering