Specification and Verification of Multi-agent Systems

Crafting Interpreters

Declarative Agent Languages and Technologies VIII: 8th International Workshop, DALT 2009, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers

Compiler Design

Declarative Agent Languages and Technologies IX: 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers

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

Multiagent System Technologies: 7th German Conference, MATES 2009 Hamburg, Germany, September 9-11, 2009 Proceedings

C++ Quick Syntax Reference

Cooperative Information Agents XI: 11th International Workshop, CIA 2007, Delft, The Netherlands, September 19-21, 2007, Proceedings

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Practical TLA+: Planning Driven Development

Cognitive Agents for Virtual Environments: First International Workshop, CAVE 2012, Held at AAMAS 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

Object-Oriented Programming and Java: Edition 2

Recent Trends in Applied Artificial Intelligence: 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, The Netherlands, June 17-21, 2013, Proceedings

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

Contemporary Challenges and Solutions in Applied Artificial Intelligence

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