Structures in Concurrency Theory: Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11–13 May 1995

Crafting Interpreters

Application and Theory of Petri Nets 1998: 19th International Conference, ICATPN’98, Lisbon, Portugal, June 22–26, 1998 Proceedings

Compiler Design

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

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings

C++ Quick Syntax Reference

Application and Theory of Petri Nets and Concurrency: 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Practical Formal Methods for Hardware Design

Practical TLA+: Planning Driven Development

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings

Object-Oriented Programming and Java: Edition 2

FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems

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

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

Design of Sustainable Product Life Cycles

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