This is the first book to systematically introduce the basic constructive-computational theory and methods developed for investigating solvable polynomial algebras and their modules. This book is perfectly suited to researchers and postgrads researching noncommutative computational algebra.