А вот он же в djvu - http://disk.tom.ru/2jbgkd1 - делал для себя, все страницы прогонял через одинаковую цветокоррекцию, поэтому качество некоторых рисунков мосгло сильно пострадать (а возиться с каждой страницей по отдельности не было никакого желания). Зато рисунки смотрятся лучше, чем в оригинальном pdf'е и некоторые из них можно сразу вырезать и использовать по назначению, без дополнительной обработки. В общем, смотрите сами, вдруг пригодится :)