Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings

Crafting Interpreters

Term Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings

Compiler Design

Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

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

C++ Quick Syntax Reference

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Integer Programming and Combinatorial Optimization: 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings

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

Learn Java for Android Development: Edition 2

Pro React

TouchDevelop: Programming on the Go, Edition 3

Pro .NET Memory Management: For Better Code, Performance, and Scalability

Oracle and PL/SQL Recipes: A Problem-Solution Approach