Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday

Trends in Functional Programming: 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers

Computational Color Imaging: 5th International Workshop, CCIW 2015, Saint Etienne, France, March 24-26, 2015, Proceedings

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

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Crafting Interpreters

Theories of Programming: The Life and Works of Tony Hoare

Programming with MotifTM

Formal Aspects of Security: First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers

C++ Quick Syntax Reference

Evolution of Cognitive Networks and Self-Adaptive Communication Systems

5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Reflections on the Work of C.A.R. Hoare

Object-Oriented Programming and Java: Edition 2

Methods, Models and Tools for Fault Tolerance

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

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

Registration Methods for Pulmonary Image Analysis: Integration of Morphological and Physiological Knowledge