Electronic Documents Search
Documents found: 2
-
Creators Башарина Екатерина Александровна Scientific adviser Востров Алексей Владимирович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2023 Collection Выпускные квалификационные работы; Общая коллекция Subjects формальные языки; поиск паттернов; Т-клеточные рецепторы; трансляция; formal languages; pattern search; T-cell receptors; translation Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 02.03.01 Speciality group (FGOS) 020000 - Компьютерные и информационные науки DOI 10.18720/SPBPU/3/2023/vr/vr23-3513 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.0 Mb -
Creators Лукин Артем Андреевич Scientific adviser Котляров Всеволод Павлович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2019 Collection Выпускные квалификационные работы; Общая коллекция Subjects верификация; корректность; спецификация требований; формальные языки; verification; correctness; specification of requirements; formal languages Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 09.03.04 Speciality group (FGOS) 090000 - Информатика и вычислительная техника Links http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-545-o.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-545-a.pdf DOI 10.18720/SPBPU/3/2019/vr/vr19-545 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 2.3 Mb
