В 4-х томах. Пер. с англ. — 3-е изд. — М.: Вильямс, 2007. — 788 с.
Во втором томе дано полное введение в теорию получисленных алгоритмов, причем случайным числам и арифметике посвящены отдельные главы. Путем рассмотрения основ теории получисленных алгоритмов и примеров этих алгоритмов установлена связь между компьютерным программированием и численным анализом. Особого упоминания заслуживают предложенная автором в третьем издании тома новая трактовка генераторов случайных чисел, а также рассмотрение способов вычислений с помощью формальных степенных рядов.
Это трёхтомник, который находится вне конкуренции, входит в золотой фонд мировой литературы по информатике и является настольной книгой практически для всех кто связан с программированием. Автор учит читателя писать программы более высокого уровня. В книге описаны математические методы программирования. Подходит как для начинающих программистов, так и для профессиональных.