Presents a study of the interrelationships among operator calculus, graph theory, and quantum probability in a unified manner, with significant emphasis on symbolic computations and an eye toward applications in computer science. In this title, examples are put forward in Mathematica, together with packages for performing symbolic computations.