Книги от щанд "Книги-Варна"

Логические исчисления и формализация арифметики

Теория вероятностей и математическая статистика

Символьные и алгебраические вычисления

Для систем с распределенными параметрами