Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Decoding the Universe: How the New Science of Information Is Explaining Everythingin the Cosmos, fromOu r Brains to Black Holes

Agent-Based Hybrid Intelligent Systems: An Agent-Based Framework for Complex Problem Solving

Knowledge Science, Engineering and Management: Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings

Adventures in Rule-Based Programming: A CLIPS Tutorial

Farming Simulator Modding For Dummies

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings

Gravity Advanced Level Physics GCE (Easy JavaScript Simulation) 1/2: 20170802 version

Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

Mathematical Modelling

Construction Program Management – Decision Making and Optimization Techniques

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Microsoft Copilot AI Powered Business Assistant: Revolutionize your workflow with Microsoft Copilot: the ultimate productivity tool

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings

C++ Game Animation Programming: Learn modern animation techniques from theory to implementation using C++, OpenGL, and Vulkan, Edition 2

Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures