Electronic Documents Search

Documents found: 3

1

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

Creators	Степанов Даниил Сергеевич
Scientific adviser	Ицыксон Владимир Михайлович
Other creators	Новопашенный Андрей Гелиевич
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint	Санкт-Петербург, 2018
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	Программирования языки; Вычислительные машины электронные персональные — Программы; Вычислительные машины электронные персональные — Математическое обеспечение
UDC	004.438; 004.422.8
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/2/rev/v18-4632-o.pdf; http://elib.spbstu.ru/dl/2/rev/v18-4632-r.pdf
DOI	10.18720/SPBPU/2/v18-4632
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 0.7 Mb

Исследование и разработка методов автоматического поиска ошибок в компиляторах языков программирования: специальность 2.3.5. Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей: автореферат диссертации на соискание ученой степени кандидата технических наук

Creators	Степанов Даниил Сергеевич
Scientific adviser	Ицыксон Владимир Михайлович
Organization	Санкт-Петербургский политехнический университет Петра Великого
Imprint	Санкт-Петербург, 2024
Collection	Научные работы аспирантов/докторантов; Общая коллекция
Subjects	Программирования языки; фаззинг; тестирование компиляторов; дедупликация; редукция
UDC	004.438
Document type	Author's Abstract
File type	PDF
Language	Russian
Speciality code (OKSVNK)	2.3.5.
Speciality group (OKSVNK)	2.0000
DOI	10.18720/SPBPU/2/r24-35
Rights	Свободный доступ из сети Интернет (чтение)

pdf, 1.0 Mb

Разработка технологии и проектирование оснастки для штамповки детали «Храповик» из спеченного материала: выпускная квалификационная работа бакалавра: направление 15.03.01 «Машиностроение» ; образовательная программа 15.03.01_01 «Машины и технология обработки металлов давлением»

Creators	Степанов Даниил Сергеевич
Scientific adviser	Кузнецов Павел Алексеевич
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт машиностроения, материалов и транспорта
Imprint	Санкт-Петербург, 2023
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	порошковая металлургия; втулка с фланцем; пластическая деформация; холодное выдавливание; технологический процесс; объемное формообразование прессование порошков; подвижные среды; пористость; порошковые материалы; холодная штамповка; храповик; powder metallurgy; sleeve with a flange; plastic deformation; cold extraction; technological process; volumetric shaping powder compression; moving media; porosity; powder materials; cold stock mpovka; ratchet
Document type	Bachelor graduation qualification work
File type	PDF
Language	Russian
Level of education	Bachelor
Speciality code (FGOS)	15.03.01
Speciality group (FGOS)	150000 - Машиностроение
DOI	10.18720/SPBPU/3/2023/vr/vr24-19
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 2.1 Mb

1