Кацман, Виктор Игоревич. Модели и методы автоматической проверки решений задач: научный доклад: направление подготовки 09.06.01 «Информатика и вычислительная техника» ; направленность 09.06.01_09 «Математическое моделирование, численные методы и комплексы программ» = Models and methods of automatic verification of task solutions / В. И. Кацман; Санкт-Петербургский политехнический университет Петра Великого, Физико-механический институт; научный руководитель Ф. А. Новиков; консультант по нормоконтролю Л. А. Арефьева. — Санкт-Петербург, 2021. — 1 файл (1,3 Мб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/6/2021/vn21-115.pdf>. — DOI 10.18720/SPBPU/6/2021/vn21-115. — Текст
| Period | Read | Copy | Open | Total | |
|---|---|---|---|---|---|
| Yesterday | 0 | 0 | 1 | 0 | 1 |
| Last 30 days | 4 | 0 | 4 | 0 | 8 |
| Last 365 days | 4 | 0 | 4 | 0 | 8 |
| All time | 4 | 0 | 4 | 0 | 8 |