Reihe Texts in Computer Science

With Practical Automated Reasoning and Verification

With Practical Automated Reasoning and Verification

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

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

With Python Code

With Python Code

Algorithms and Applications

 

Algorithms and Applications

Solving Data Science Problems for Manufacturing and the Internet of Things