Последние поступления

Найдено документов: 104 754

Описание Дата поступления
50441 26.09.2019
50442 26.09.2019
50443 26.09.2019
50444 26.09.2019
50445
Лукин, Артем Андреевич. — Формализация и доказательство, проверка корректности технологического маршрута, заданного с помощью MSC-диаграмм [Электронный ресурс]: выпускная квалификационная работа бакалавра: 09.03.04 - Программная инженерия ; 09.03.04_01 - Технология разработки и сопровождения качественного программного продукта = Formalization and proof, verification of the correctness of the technological route defined by the MSC-diagrams / А. А. Лукин; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и технологий ; науч. рук. В. П. Котляров. — Электрон. текстовые дан. (1 файл : 2,3 Мб). — Санкт-Петербург, 2019. — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/vr19-545.pdf>. — <URL:http://doi.org/10.18720/SPBPU/3/2019/vr/vr19-545>. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-545-o.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-545-a.pdf>.
26.09.2019
50446 26.09.2019
50447 26.09.2019
50448 26.09.2019
50449 26.09.2019
50450
Кирпиченков, Павел Станиславович. — Разработка параметризированных типов с переменным набором параметров для языка Kotlin [Электронный ресурс]: выпускная квалификационная работа магистра: 09.04.01 - Информатика и вычислительная техника ; 09.04.01_15 - Технологии проектирования системного и прикладного программного обеспечения = Implementation of parametric polymorphism with variable number of type parameters in Kotlin programming language / П. С. Кирпиченков; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и технологий ; науч. рук. В. М. Ицыксон ; консультант по нормоконтролю А. Г. Новопашенный. — Электрон. текстовые дан. (1 файл : 0,5 Мб). — Санкт-Петербург, 2019. — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/vr19-529.pdf>. — <URL:http://doi.org/10.18720/SPBPU/3/2019/vr/vr19-529>. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-529-o.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-529-r.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-529-a.pdf>.
26.09.2019