Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Crafting Interpreters

Graph Transformation: 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

Compiler Design

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

FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

C++ Quick Syntax Reference

Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers

Object-Oriented Programming and Java: Edition 2

Automata, Languages and Programming: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings

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

NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings

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

Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

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