Reliable Software Technologies - Ada-Europe 2008: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

Crafting Interpreters

Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

Compiler Design

Reliable Software Technologies - Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings

C++ Quick Syntax Reference

Reliable Software Technologies - Ada-Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings

Practical TLA+: Planning Driven Development

Application and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings

Object-Oriented Programming and Java: Edition 2

Formal Methods for Embedded Distributed Systems: How to master the complexity

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

Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers

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

Foundations of Computer Software: Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

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

Learn Java for Android Development: Edition 2

TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions