Computational Methods in Systems Biology: 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13–15, 2023, Proceedings

Crafting Interpreters

Modeling and Verification of Real-time Systems: Formalisms and Software Tools

Compiler Design

Dependable Software Engineering. Theories, Tools, and Applications: 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings

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

Temporal Logic and State Systems

C++ Quick Syntax Reference

Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings

Practical TLA+: Planning Driven Development

Object-Oriented Programming and Java: Edition 2

Multi-disciplinary Trends in Artificial Intelligence: 17th International Conference, MIWAI 2024, Pattaya, Thailand, November 11–15, 2024, Proceedings, Part II

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

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

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

Learn Java for Android Development: Edition 2

Pro React

TouchDevelop: Programming on the Go, Edition 3