Дойников, Илья Дмитриевич. Модели пользовательского интерфейса систем автоматической проверки решений задач на преобразование формул: выпускная квалификационная работа бакалавра: направление 01.03.02 «Прикладная математика и информатика» ; образовательная программа 01.03.02_02 «Системное программирование» = User Interface Models of systems for automatic verification of solutions for formula conversion. / И. Д. Дойников; Санкт-Петербургский политехнический университет Петра Великого, Физико-механический институт; научный руководитель Ф. А. Новиков; консультант В. И. Кацман. — Санкт-Петербург, 2022. — 1 файл (10,6 Мб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2022/vr/vr22-2807.pdf>. — DOI 10.18720/SPBPU/3/2022/vr/vr22-2807. — Текст
Period
|
Read
|
Print
|
Copy
|
Open
|
Total
|
Year 2022
|
Quarter 4
|
1
|
0
|
0
|
0
|
1
|
Year 2023
|
Quarter 1
|
4
|
0
|
2
|
0
|
6
|
Quarter 2
|
7
|
0
|
3
|
0
|
10
|
Quarter 3
|
0
|
0
|
0
|
0
|
0
|
Quarter 4
|
0
|
0
|
0
|
0
|
0
|
Year 2024
|
Quarter 1
|
1
|
0
|
0
|
0
|
1
|
Quarter 2
|
1
|
0
|
0
|
0
|
1
|
Total
|
14
|
0
|
5
|
0
|
19
|