I loved "Algorithms to Live By" by Brian Christian and tom Griffiths. It's not quite as focused on the technical side of things as the books you listed, but I still enjoyed it quite a bit.