Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers

Crafting Interpreters

Programming with MotifTM

Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings

C++ Quick Syntax Reference

Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

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

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

TouchDevelop: Programming on the Go, Edition 3

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

Practical TLA+: Planning Driven Development

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

Beginning C++17: From Novice to Professional, Edition 5

Rethinking Productivity in Software Engineering