Electronic Documents Search
Documents found: 4
-
Creators Березун Даниил Андреевич Organization Санкт-Петербургский государственный университет Imprint Санкт-Петербург: Изд-во Политехн. ун-та, 2017 Collection Общая коллекция Subjects Математика; Вычислительная математика; pseudovolume forms (mathematics); reduction; лямбда-термы; головные линейные редукции; полные головные линейные редукции; трассирующая нормализация; линейные редукции; псевдоголовные формы (математика); редукции; linear reduction; head linear reduction; full head linear reduction; tracer normalization; lambda baths UDC 519.6 LBC 22.19 Document type Article, report File type PDF Language Russian DOI 10.18721/JCSTCS.10306 Rights Свободный доступ из сети Интернет (чтение, печать, копирование) pdf, 3.4 Mb -
Creators Чистова Наталия Андреевна Scientific adviser Васильев Андрей Юрьевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2016 Collection Выпускные квалификационные работы; Общая коллекция Subjects Автоматические системы линейные; Регуляторы; Автоматические системы — Устойчивость; Математическое моделирование; редукция; reduction UDC 681.511.2.037(043.3) Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 27.04.03 Speciality group (FGOS) 270000 - Управление в технических системах DOI 10.18720/SPBPU/2/v16-2813 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 2.4 Mb -
Creators Кузнецов Иван Алексеевич Scientific adviser Герасимов Александр Сергеевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2022 Collection Выпускные квалификационные работы; Общая коллекция Subjects задача поиска; np-полнота; сведение; java; javafx; визуализация сведений; search problem; np-completness; reduction; reductions visualization Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 02.03.02 Speciality group (FGOS) 020000 - Компьютерные и информационные науки DOI 10.18720/SPBPU/3/2022/vr/vr22-3038 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.0 Mb -
Creators Чиянов Александр Анатольевич Scientific adviser Матвеев Игорь Александрович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт машиностроения, материалов и транспорта Imprint Санкт-Петербург, 2023 Collection Выпускные квалификационные работы; Общая коллекция Subjects сплавы Al-W и Al-W-Gd; вольфрам; гадолиний; гамма-поглощающие свойства; алюмотермия; высокотемпературная плавка; индукционная печь; исследование; технологические и металлургические факторы; восстановление; оксид вольфрама; технология; литые заготовки; образцы; испытания; структура; свойства; keywords alloys Al-W and Al-W-Gd alloys; tungsten; gadolinium; gamma-absorbing properties; alumothermy; high temperature melting; induction furnace; research; technological and metallurgical factors; reduction; tungsten oxide; technology; cast blanks; samples; tests; structure; properties Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 22.04.02 Speciality group (FGOS) 220000 - Технологии материалов DOI 10.18720/SPBPU/3/2023/vr/vr23-5691 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 4.0 Mb