This is the first-ever book on computational group theory. It covers the fundamental algorithms for permutation groups, with emphasis on the details of data structures and implementation which make the algorithms effective when applied to realistic problems.