В книге Ричард Бёрд представляет принципиально новый подход к проектированию алгоритмов, а именно проектирование посредством формального вывода. Основное содержание книги разделено на 30 коротких глав, называемых жемчужинами, в каждой из которых ...
В популярном справочнике (автор - John Bird) представлены методы, формулы, диаграммы и справочные данные основных разделов физики. Для удобства читателей в русском варианте справочник издается в двух книгах. Первая содержит сведения по механике (с ...
