Based on a graduate computer science course entitled "Symbolic Computational Algebra" taught by the author at New York University, this book covers four main topics - Grobner bases, characteristic sets, resultants and semialgebraic sets. It is intended for graduate students with training in theoretical computer science.