Application and Theory of Petri Nets and Concurrency: 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings

Crafting Interpreters

FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings

Compiler Design

Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings

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

Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings

C++ Quick Syntax Reference

Fundamental Approaches to Software Engineering: 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I

Practical TLA+: Planning Driven Development

Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings

Object-Oriented Programming and Java: Edition 2

Application and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings

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

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

Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings

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

Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures