Formal Techniques for Networked and Distributed Systems – FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

Crafting Interpreters

Computational Intelligence in Biomedical Imaging

Compiler Design

Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003

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

Principles of Distributed Systems: 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers

C++ Quick Syntax Reference

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Cybernics: Fusion of human, machine and information systems

Object-Oriented Programming and Java: Edition 2

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

Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

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

Protocol Test Systems: 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems

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

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97

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

Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings