This book provides an introduction to recent developments in the theory of blow up algebras - Rees algebras, associated graded rings, Hilbert functions, and birational morphisms. The emphasis is on deriving properties of rings from their specifications in terms of generators and relations. While this limits the generality of many results, it opens the way for the application of computational methods. A highlight of the book is the chapter on advanced computational methods in algebra using Gro?bner basis theory and advanced commutative algebra. The author presents the Gro?bner basis algorithm and shows how it can be used to resolve computational questions in algebra. This volume is intended for advanced students in commutative algebra, algebraic geometry and computational algebra, and homological algebra. It can be used as a reference for the theory of Rees algebras and related topics.