Тестирование софта - статьи
Применение модельного подхода для автоматического тестирования оптимизирующих компиляторовВведение
Построение абстрактной модели
Подход к решению задачи проверки сохранения семантики программы во время работы оптимизатора
Создание генератора тестов
Запуск тестов
Практическое применение подхода
Области применимости подхода
Близкие работы
Заключение
Литература
Логистика
В этом месте разговор пойдет о том как чего, куда и кому доставить вовремя и чтобы по дороге чего-нибудь не сперли. Оказывается, я правда не знал, это целая наука с очень развитым математическим аппаратом. Из простой вещи -перевозки грузов люди создали вполне себе прибыльный бизнесочек. А ввобще все это, логистику, замутили военные.Логистический бизнес
Виды логистики
Транспортная логистика
Основы логистики
Планирование логистики
Система логистики
Теория логистики
Учебник по логистике
