CS425: Algorithms for Web Scale Data Most of the slides are from the Mining of Massive Datasets book. These slides have been modified for CS425. The original.
Z Specification of the Library System Boumediene Belkhouche Fall 2012 1.
Link Analysis: PageRank and Similar Ideas
Formal Methods and Models