Есть ли более высокоуровневые аналоги «Искусства программирования» Кнута?
Кормэн, Сэджвик есть ещё wiki университета ИТМО ссылка
Если хочется больше то есть ещё машинное обучение с нейронныеми сетями и т.д.
Что значит "современный"? Кнут его до сих пор пишет, куда уж современнее....В 2015 году был издан выпуск 6 Satisfiability, представляющий собой среднюю треть будущего тома 4B.