This is the first graduate textbook on the algorithmic aspects of real algebraic geometry. Mathematicians will find relevant information about the algorithmic aspects. Being self-contained the book is accessible to graduate students and even, for invaluable parts of it, to undergraduate students.