This is "mostly" maths for "big data" (aka statistical efficiency over huge set of data or "qsort-ized" algos) but kind of taught the wrong way: first you learn maths, then you code algos based on current hardware architecture.

I had a doubt when I did realize I could not find one of the most important topics of computer science: proof of accuracy of floating point computations.

I see this more like an index of a library of various algorithms, and that, I think it's good.