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

Crafting Interpreters

Formal Methods in Macro-Biology: First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-14, 2014, Proceedings

Ordinary and Partial Differential Equations

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

Lecture Notes for Linear Algebra

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

How Numbers Work: Discover the strange and beautiful world of mathematics

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

Prolog: The Next 50 Years

Finite Element Simulations with ANSYS Workbench 14

Programming with MotifTM

Programming in Haskell: Edition 2

Advanced Differential Equations

C++ Quick Syntax Reference

CALCULUS: differential calculus and integrals calculus for jee mains and advanced

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

A Course in Abstract Algebra, 4th Edition