Electronic Documents Search
Documents found: 2
-
Creators Харисова Таисия Анваровна Scientific adviser Фролов Максим Евгеньевич Organization Санкт-Петербургский политехнический университет Петра Великого. Физико-механический институт Imprint Санкт-Петербург, 2022 Collection Выпускные квалификационные работы; Общая коллекция Subjects численные методы; метод конечных элементов; адаптация сеток; индикаторы; numerical methods; finite element method; mesh adaptation; indicators Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 01.03.02 Speciality group (FGOS) 010000 - Математика и механика DOI 10.18720/SPBPU/3/2022/vr/vr22-2828 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 2.3 Mb -
Creators Харисова Таисия Анваровна Scientific adviser Новиков Федор Александрович Organization Санкт-Петербургский политехнический университет Петра Великого. Физико-механический институт Imprint Санкт-Петербург, 2024 Collection Выпускные квалификационные работы; Общая коллекция Subjects Вычислительные машины электронные — Программы; методы верификации; реагирующие системы; автоматное программирование; обусловленные регулярные выражения; граф переходов состояний; verification methods; reactive systems; automata-based programming; conditional regular expressions; state transition graph UDC 004.422.8 Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 01.04.02 Speciality group (FGOS) 010000 - Математика и механика DOI 10.18720/SPBPU/3/2024/vr/vr24-5719 Rights Доступ по паролю из сети Интернет (чтение) pdf, 1.5 Mb
