Last Arrivals

Documents found: 169 828

Description Arrival Date
108381
Чэнь Си. Проектирование оптимальной технологии изготовления отливки «Корпус» для судостроения [Электронный ресурс]: выпускная квалификационная работа магистра: 22.04.02 - Металлургия ; 22.04.02_11 - Инжиниринг металлургических и литейных технологий и материалов = Designing an optimal manufacturing technology for casting the hull for shipbuilding / Чэнь Си; Санкт-Петербургский политехнический университет Петра Великого, Институт машиностроения, материалов и транспорта ; науч. рук. Л. В. Десницкая ; консультант по нормоконтролю И. А. Матвеев. — Электрон. текстовые дан. (1 файл : 2,2 Мб). — Санкт-Петербург, 2019. — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/vr19-1051.pdf>. — <URL:http://doi.org/10.18720/SPBPU/3/2019/vr/vr19-1051>. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-1051-o.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-1051-r.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-1051-a.pdf>.
9/26/2019
108382
Клименко, Владислав Юрьевич. Исследование и программная реализация методов анализа программ для стековых машин на примере разработки декомпилятора [Электронный ресурс]: выпускная квалификационная работа магистра: 09.04.04 - Программная инженерия ; 09.04.04_01 - Технология разработки и сопровождения качественного программного продукта = Survey and software implementation of methods for analyzing programs for stack-based machines on the example of decompiler development / В. Ю. Клименко; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и технологий ; науч. рук. В. В. Амосов. — Электрон. текстовые дан. (1 файл : 0,9 Мб). — Санкт-Петербург, 2019. — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/vr19-1045.pdf>. — <URL:http://doi.org/10.18720/SPBPU/3/2019/vr/vr19-1045>. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-1045-o.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-1045-r.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-1045-a.pdf>.
9/26/2019
108383 9/26/2019
108384 9/26/2019
108385 9/26/2019
108386 9/26/2019
108387 9/26/2019
108388
Лукин, Артем Андреевич. Формализация и доказательство, проверка корректности технологического маршрута, заданного с помощью 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>.
9/26/2019
108389 9/26/2019
108390 9/26/2019