Electronic Documents Search
Documents found: 2
-
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 Лукин Артем Андреевич Scientific adviser Воинов Никита Владимирович Other creators Локшина Екатерина Геннадиевна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects Информационные сети; пищевые отходы; порча пищевых продуктов; безопасность пищевых продуктов; анализ пищевых продуктов; интернет вещей; food waste; food damage; food safety; food analysis; internet of things UDC 004.7; 614.31 Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 09.04.04 Speciality group (FGOS) 090000 - Информатика и вычислительная техника Links http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-876-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-876-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-876-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-876 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.9 Mb
