Logic and Argumentation: Third International Conference, CLAR 2020, Hangzhou, China, April 6–9, 2020, Proceedings

Crafting Interpreters

Compiler Design

An Introduction to Practical Formal Methods Using Temporal Logic

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

Fundamentals of Software Engineering: 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers

C++ Quick Syntax Reference

Deontic Logic in Computer Science: 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines

Object-Oriented Programming and Java: Edition 2

Rules and Reasoning: 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings

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

Specification and Verification of Multi-agent Systems

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

Rule Representation, Interchange and Reasoning on the Web: International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings

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

Engineering Multi-Agent Systems: Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers

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

Programming Multi-Agent Systems: 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers