Electronic Documents Search

Documents found: 97

1
2
3
4
5
6
7
8
9
10

Certified programming with dependent types: a pragmatic introduction to the Coq proof assistant

Creators	Chlipala Adam
Organization	IEEE Xplore (Online Service); MIT Press
Imprint	Cambridge, Massachusetts London, England: MIT Press, 2013
Collection	Электронные книги зарубежных издательств; Общая коллекция
Subjects	Вычислительные машины электронные персональные — Программирование; Вычислительные машины электронные персональные — Программы прикладные; Вычислительные машины электронные персональные — Применение; MIT Press eBooks Library
UDC	004.42:51
Document type	Other
File type	Other
Language	English
Rights	Доступ по паролю из сети Интернет (чтение, печать)

https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6712486

Проектирование элементов проточной части высоконапорных радиально-осевых гидротурбин: магистерская диссертация: 13.04.03

Creators	Салимханов Магомедрасул Магомедзапирович
Scientific adviser	Новкунский Алексей Александрович
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт энергетики и транспортных систем
Imprint	Санкт-Петербург, 2016
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	Гидротурбины радиально-осевые; Гидротурбины — Лопасти; Вычислительные машины электронные персональные — Применение
UDC	621.224.2/.3-253.5(043.3); 004.422.8:621.224(043.3)
Document type	Master graduation qualification work
File type	PDF
Language	Russian
Level of education	Master
Speciality code (FGOS)	13.04.03
Speciality group (FGOS)	130000 - Электро- и теплоэнергетика
DOI	10.18720/SPBPU/2/v17-560
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 7.9 Mb

Исследование прочности лопастей рабочих колес поворотно-лопастных турбин: магистерская диссертация: 13.04.03

Creators	Пак Владимир Владиславович
Scientific adviser	Новкунский Алексей Александрович
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт энергетики и транспортных систем
Imprint	Санкт-Петербург, 2016
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	Гидротурбины поворотно-лопастные; Гидротурбины — Лопасти; Вычислительные машины электронные персональные — Применение
UDC	621.224-253.3:539.4(043.3); 004.422.8:621.224(043.3)
Document type	Master graduation qualification work
File type	PDF
Language	Russian
Level of education	Master
Speciality code (FGOS)	13.04.03
Speciality group (FGOS)	130000 - Электро- и теплоэнергетика
DOI	10.18720/SPBPU/2/v17-559
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 3.7 Mb

Информационные технологии в безопасности: учебное пособие

Creators	Андреев Андрей Викторович; Авдеева Марина Олеговна
Organization	Санкт-Петербургский политехнический университет Петра Великого
Imprint	Санкт-Петербург, 2018
Collection	Учебная и учебно-методическая литература; Общая коллекция
Subjects	Информационные технологии; Вычислительные машины электронные персональные — Применение; Безопасность жизнедеятельности человека
UDC	004(075.8)
Document type	Tutorial
File type	PDF
Language	Russian
DOI	10.18720/SPBPU/2/s18-219
Rights	Свободный доступ из сети Интернет (чтение)

pdf, 3.1 Mb

Повышение качества учета текущего состояния документов: выпускная квалификационная работа магистра: 27.04.02 - Управление качеством ; 27.04.02_01 - Управление качеством

Creators	Носова Дарья Андреевна
Scientific adviser	Шабров Николай Николаевич
Other creators	Седлер Мария Ильинична
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт металлургии, машиностроения и транспорта
Imprint	Санкт-Петербург, 2018
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	Базы данных; Вычислительные машины электронные персональные — Применение; Вычислительные машины электронные персональные — Программы прикладные
UDC	004.6
Document type	Master graduation qualification work
File type	PDF
Language	Russian
Level of education	Master
Speciality code (FGOS)	27.04.02
Speciality group (FGOS)	270000 - Управление в технических системах
Links	http://elib.spbstu.ru/dl/2/rev/v18-4610-o.pdf; http://elib.spbstu.ru/dl/2/rev/v18-4610-r.pdf
DOI	10.18720/SPBPU/2/v18-4610
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 2.4 Mb

Реализация концепции непрерывного улучшения путем автоматизации управления кайдзен-предложениями: выпускная квалификационная работа магистра: 27.04.02 - Управление качеством ; 27.04.02_01 - Управление качеством

Creators	Давыдова Дарья Михайловна
Scientific adviser	Шабров Николай Николаевич
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт металлургии, машиностроения и транспорта
Imprint	Санкт-Петербург, 2018
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	Автомобильные заводы; Вычислительные машины электронные персональные — Применение; бережливое производство; системы качества; менеджмент
UDC	004.9:658
Document type	Master graduation qualification work
File type	PDF
Language	Russian
Level of education	Master
Speciality code (FGOS)	27.04.02
Speciality group (FGOS)	270000 - Управление в технических системах
Links	http://elib.spbstu.ru/dl/2/rev/v18-4608-o.pdf; http://elib.spbstu.ru/dl/2/rev/v18-4608-r.pdf
DOI	10.18720/SPBPU/2/v18-4608
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 3.5 Mb

Совершенствование подхода к оценке техногенного риска с применением общего логико-вероятностного метода: магистерская диссертация

Creators	Осипова Наталья Александровна
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт военно-технического образования и безопасности
Imprint	Санкт-Петербург, 2015
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	Вычислительные машины электронные персональные — Применение; Безопасность жизнедеятельности человека; техногенная безопасность; риск
UDC	504.5:004.9(043.3)
Document type	Other
File type	PDF
Language	Russian
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 3.7 Mb

Модель системы NPS Primary, реализующая процесс сопровождения документов и оценки эффективности деятельности персонала: магистерская диссертация

Creators	Воронков Илья Александрович
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint	Санкт-Петербург, 2015
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	Вычислительные машины электронные персональные — Применение; Вычислительные машины электронные персональные — Программы прикладные; Делопроизводство
UDC	004.422.8(043.3)
LBC	65.291.212.8с51я031
Document type	Other
File type	PDF
Language	Russian
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 1.3 Mb

Оптимизационное проектирование рабочего колеса гидротурбины на условиях Красноярской ГЭС: магистерская диссертация: 13.04.03

Creators	Соколова Мария Алексеевна
Scientific adviser	Семенова Александра Владимировна
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт энергетики и транспортных систем
Imprint	Санкт-Петербург, 2016
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	Гидротурбины — Колеса; Вычислительные машины электронные персональные — Применение
UDC	621.224-253:621.311.21(571.51)(043.3); 004.422.8:621.224(043.3)
Document type	Master graduation qualification work
File type	PDF
Language	Russian
Level of education	Master
Speciality code (FGOS)	13.04.03
Speciality group (FGOS)	130000 - Электро- и теплоэнергетика
DOI	10.18720/SPBPU/2/v17-561
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 2.8 Mb

Программный комплекс распознавания режимов работы газовых турбин по пространственно-временным показаниям датчиков: выпускная квалификационная работа магистра: 09.04.01 - Информатика и вычислительная техника ; 09.04.01_15 - Технологии проектирования системного и прикладного программного обеспечения

Creators	Жемелев Георгий Алексеевич
Scientific adviser	Никитин Кирилл Вячеславович
Other creators	Новопашенный Андрей Гелиевич
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint	Санкт-Петербург, 2019
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	Распознающие системы и устройства; Газовые турбины; Вычислительные машины электронные персональные — Применение; Ряды (мат.) временные; поиск по шаблону; критерии подобия; динамическая трансформация временной шкалы
UDC	004.93:621.438(043.3)
Document type	Master graduation qualification work
File type	PDF
Language	Russian
Level of education	Master
Speciality code (FGOS)	09.04.01
Speciality group (FGOS)	090000 - Информатика и вычислительная техника
Links	http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-710-o.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-710-r.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-710-a.pdf
DOI	10.18720/SPBPU/3/2019/vr/vr19-710
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 7.8 Mb

1
2
3
4
5
6
7
8
9
10