Лебедь, Павел Сергеевич. Модели организации автоматической проверки решений учебных задач: выпускная квалификационная работа бакалавра: направление 01.03.02 «Прикладная математика и информатика» ; образовательная программа 01.03.02_02 «Системное программирование» = Models of organization automatic checks of educational tasks / П. С. Лебедь; Санкт-Петербургский политехнический университет Петра Великого, Институт прикладной математики и механики ; научный руководитель Ф. А. Новиков ; консультант по нормоконтролю Л. А. Арефьева. — Санкт-Петербург, 2020. — 1 файл (1,3 Мб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2020/vr/vr20-1682.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-1682-o.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-1682-a.pdf>. — DOI 10.18720/SPBPU/3/2020/vr/vr20-1682. — Текст