Principles and Practice of Constraint Programming - CP 2003: 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings

Crafting Interpreters

Progress in Artificial Intelligence: 9th Portuguese Conference on Artificial Intelligence, EPIA '99, Evora, Portugal, September 21-24, 1999, Proceedings

Compiler Design

Principles and Practice of Semantic Web Reasoning: Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings

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

Algorithmic Decision Theory: First International Conference, ADT 2009, Venice, Italy, October 2009, Proceedings

C++ Quick Syntax Reference

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Artificial Intelligence in Medicine: 8th Conference on Artificial Intelligence in Medicine in Europe, AIME 2001 Cascais, Portugal, July 1-4, 2001, Proceedings

Practical TLA+: Planning Driven Development

Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings

Object-Oriented Programming and Java: Edition 2

New Trends in Constraints: Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers

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

Reasoning Web: Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures

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

Prolog: The Next 50 Years

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

Journal on Data Semantics VIII