Last Arrivals

Documents found: 104 767

Description Arrival Date
44221 7/2/2020
44222 7/2/2020
44223
Константинова, Вера Валентиновна. — Определение дубликатов ошибок компилятора языка Kotlin методом поиска программ-свидетелей: выпускная квалификационная работа бакалавра: направление 09.03.01 «Информатика и вычислительная техника» ; образовательная программа 09.03.01_02 «Технологии разработки программного обеспечения» = Kotlin compiler bug duplicate detection via witness test program search / В. В. Константинова; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и технологий ; научный руководитель М. Х. Ахин ; консультант по нормоконтролю С. А. Нестеров ; консультант Д. С. Степанов. — Санкт-Петербург, 2020. — 1 файл (1,2 Мб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2020/vr/vr20-816.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-816-o.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-816-r.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-816-a.pdf>. — DOI 10.18720/SPBPU/3/2020/vr/vr20-816. — Текст
7/2/2020
44224
Кузина, Мария Александровна. — Разработка судовой системы управления паротурбинной установкой: выпускная квалификационная работа бакалавра: направление 09.03.01 «Информатика и вычислительная техника» ; образовательная программа 09.03.01_01 «Вычислительные машины, комплексы, системы и сети» = Development of vessel power system concerning the control of steam turbine unit / М. А. Кузина; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и технологий ; научный руководитель А. В. Жуков ; консультант по нормоконтролю С. А. Нестеров. — Санкт-Петербург, 2020. — 1 файл (2,4 Мб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2020/vr/vr20-801.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-801-o.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-801-r.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-801-a.pdf>. — DOI 10.18720/SPBPU/3/2020/vr/vr20-801. — Текст
7/2/2020
44225
Шинов, Никита Антонович. — Исследование и разработка модуля управления для автоматической системы освещения: выпускная квалификационная работа бакалавра: направление 09.03.01 «Информатика и вычислительная техника» ; образовательная программа 09.03.01_01 «Вычислительные машины, комплексы, системы и сети» = Study and development of control module for the automated system of light-control / Н. А. Шинов; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и технологий ; научный руководитель А. А. Лавров ; консультант по нормоконтролю С. А. Нестеров. — Санкт-Петербург, 2020. — 1 файл (1,0 Мб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2020/vr/vr20-795.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-795-o.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-795-r.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-795-a.pdf>. — DOI 10.18720/SPBPU/3/2020/vr/vr20-795. — Текст
7/2/2020
44226
Чуприна, Анастасия Михайловна. — Разработка мобильного приложения для тренировки правописания китайских иероглифов: выпускная квалификационная работа бакалавра: направление 09.03.01 «Информатика и вычислительная техника» ; образовательная программа 09.03.01_02 «Технологии разработки программного обеспечения» = Mobile app development for training Chinese characters' order / А. М. Чуприна; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и технологий ; научный руководитель К. В. Никитин ; консультант по нормоконтролю С. А. Нестеров. — Санкт-Петербург, 2020. — 1 файл (1,7 Мб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2020/vr/vr20-790.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-790-o.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-790-r.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-790-a.pdf>. — DOI 10.18720/SPBPU/3/2020/vr/vr20-790. — Текст
7/2/2020
44227
Соболь, Валентин. — Типы-уточнения и их вывод для языка программирования Kotlin: выпускная квалификационная работа магистра: направление 09.04.01 «Информатика и вычислительная техника» ; образовательная программа 09.04.01_15 «Технологии проектирования системного и прикладного программного обеспечения» = Refinement types and their inference for Kotlin programming language / В. Соболь; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и технологий ; научный руководитель В. М. Ицыксон ; консультант по нормоконтролю А. Г. Новопашенный ; консультант М. Х. Ахин. — Санкт-Петербург, 2020. — 1 файл (1,0 Мб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2020/vr/vr20-771.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-771-o.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-771-r.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-771-a.pdf>. — DOI 10.18720/SPBPU/3/2020/vr/vr20-771. — Текст
7/2/2020
44228 7/2/2020
44229 7/2/2020
44230 7/2/2020