Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers

Crafting Interpreters

Compiler Design

Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

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

The Seventeen Provers of the World: Foreword by Dana S. Scott

C++ Quick Syntax Reference

Type Theory and Formal Proof: An Introduction

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

Object-Oriented Programming and Java: Edition 2

Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

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

Logic Gates, Circuits, Processors, Compilers and Computers

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

Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

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

Lecture Slides for the Clang Libraries [LLVM/Clang 15] (Edition 0.0)

Learn Java for Android Development: Edition 2

Pro React