Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but t...

Principles of Spin is an introductory book, the only requirement is a background in programming. ...

Ada is the programming language of choice for high integrity software systems and is used extensi...

This is open access book provides plenty of pleasant mathematical surprises. There are many fasci...

Dieses Buch ist Open-Access und bietet viele mathematische Überraschungen. Es gibt viele faszinie...

This open access book bridges the gap between playing with robots in school and studying robotics...

This open access book is intended to give a bird's-eye view of ellipses and planetary orbits. The...