This accessible text presents a detailed introduction to the use of a wide range of software tools and modeling environments for use in the biosciences, as well as the fundamental mathematical background. describes such useful tools as the Maxima algebra system, the PRISM model checker, and the modeling environments Repast Simphony and Smoldyn;