The Logic System of Concept Graphs with Negation: And Its Relationship to Predicate Logic

Crafting Interpreters

KI 2024: Advances in Artificial Intelligence: 47th German Conference on AI, Würzburg, Germany, September 25–27, 2024, Proceedings

Compiler Design

Artificial Intelligence: 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21–25, 2019, Proceedings

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

Formal Concept Analysis: 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings

C++ Quick Syntax Reference

Web Reasoning and Rule Systems: 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011, Proceedings

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Object-Oriented Programming and Java: Edition 2

Data Analytics and Management in Data Intensive Domains: XVIII International Conference, DAMDID/RCDL 2016, Ershovo, Moscow, Russia, October 11 -14, 2016, Revised Selected Papers

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

Conceptual Structures: Common Semantics for Sharing Knowledge: 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005, Proceedings

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

Formal Concept Analysis of Social Networks

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

Combinatorial Pattern Matching: 25th Annual Symposium, CPM 2014, Moscow, Russia, June 16-18, 2014. Proceedings

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

Artificial General Intelligence: 6th International Conference, AGI 2013, Beijing, China, July 31 -- August 3, 2013, Proceedings