Electronic Documents Search
Documents found: 5
-
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 -
Основы построения трансляторов: Учеб. пособие
Creators Карпов Ю. Г. Organization Санкт-Петербургский государственный технический университет Collection Общая коллекция Subjects Трансляторы; формальные языки; формальные грамматики; грамматики Хомского; синтаксический анализ; семантические вычисления; атрибутные грамматики UDC 681.322.068.1(075.8) Document type Other File type PDF Language Russian Rights Доступ из локальной сети ФБ pdf, 1.8 Mb -
Автоматы и формальные языки: сборник задач
Creators Карпов Юрий Глебович Organization Санкт-Петербургский политехнический университет Петра Великого Imprint Санкт-Петербург: Изд-во Политехн. ун-та, 2015 Electronic publication Санкт-Петербург, 2020 Collection Учебная и учебно-методическая литература; Общая коллекция Subjects Автоматов теория; Распознавание образов; формальные языки UDC 004.93(076.1); 681.51.011(076.1) Document type Tutorial File type PDF Language Russian Speciality code (FGOS) 45.00.00 Speciality group (FGOS) 450000 - Языкознание и литературоведение DOI 10.18720/SPBPU/2/si20-1529 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 2.4 Mb -
Creators Марченков Е. Ю.; Котляров В. П. Other creators Глухов Владимир Викторович Organization Санкт-Петербургский государственный политехнический университет. Межвузовская научная-техническая конференция, Неделя науки (32; 2003; Санкт-Петербург); Совет СПбГПУ по научно-исследовательской работе студентов Imprint Санкт-Петербург, 2004 Collection Общая коллекция Subjects скриптовое тестирование; автоматическое тестирование; программные системы; формальные языки Document type Article, report File type PDF Language Russian Rights Свободный доступ из сети Интернет (чтение, печать, копирование) pdf, 84 Kb -
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
