With Practical Automated Reasoning and Verification

An Accessible Introduction to the History, Theory, Logic and Applications

With Python Code

Algorithms and Applications

Using Python and Java

Solving Data Science Problems for Manufacturing and the Internet of Things

Intermediate Program Design Using Video Game Development

Pillars, Paradigms, Principles

An Algorithmic Introduction

Analysis, Features, Classification and Retrieval