Offers explanations of the concepts of probability models applicable tocomputer science and related majors and practitioners. This book includesexamples and exercises, along with the techniques presented, related to binpacking, sorting algorithms, find algorithm, random graphs, self-organisinglist problems, probabilistic verification and more.