Титов, Сергей Сергеевич. Синтаксическая и семантическая верификация сценариев вычислительных экспериментов [Электронный ресурс]: выпускная квалификационная работа магистра: 01.04.02 - Прикладная математика и информатика ; 01.04.02_01 - Математическое моделирование в науке и индустрии = Syntactic and Semantic Verification of Configuration Files for Computational Pipelines / С. С. Титов; Санкт-Петербургский политехнический университет Петра Великого, Институт прикладной математики и механики ; науч. рук. А. А. Иванков ; консультант по нормоконтролю Л. А. Арефьева. — Электрон. текстовые дан. (1 файл : 366 Кб). — Санкт-Петербург, 2019. — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/vr19-1942.pdf>. — <URL:http://doi.org/10.18720/SPBPU/3/2019/vr/vr19-1942>. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-1942-o.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-1942-r.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-1942-a.pdf>.