Поиск по электронным документам
Найдено документов: 3
-
Авторы Миндубаева Резеда Анваровна Научный руководитель Шошмина Ирина Владимировна Другие авторы Трифонов Петр Владимирович Организация Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Выходные сведения Санкт-Петербург, 2020 Коллекция Выпускные квалификационные работы; Общая коллекция Тематика бинарная решающая диаграмма; задача сапера; логика высказываний; программирование в ограничениях; моделирование в AnyLogic; тренажер; binary decision diagram; minesweeper; propositional calculus; AnyLogic modeling; constraint programming; educational game Тип документа Выпускная квалификационная работа бакалавра Тип файла PDF Язык Русский Уровень высшего образования Бакалавриат Код специальности ФГОС 02.03.02 Группа специальностей ФГОС 020000 - Компьютерные и информационные науки Ссылки http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-1383-o.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-1383-a.pdf DOI 10.18720/SPBPU/3/2020/vr/vr20-1383 Права доступа Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1,6 Мб -
Авторы Голосков Марк Игоревич Научный руководитель Шошмина Ирина Владимировна Другие авторы Трифонов Петр Владимирович Организация Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Выходные сведения Санкт-Петербург, 2020 Коллекция Выпускные квалификационные работы; Общая коллекция Тематика эпистемическая логика; мультиагентные системы; структуры Крипке; символьные вычисления; программирование в ограничениях; агентное моделирование; epistemic logic; multi-agent systems; Kripke structure; symbolic computation; constraint programming; agent simulation Тип документа Выпускная квалификационная работа бакалавра Тип файла PDF Язык Русский Уровень высшего образования Бакалавриат Код специальности ФГОС 02.03.02 Группа специальностей ФГОС 020000 - Компьютерные и информационные науки Ссылки http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-959-o.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-959-a.pdf DOI 10.18720/SPBPU/3/2020/vr/vr20-959 Права доступа Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 4,9 Мб -
Авторы Шукшин Иван Дмитриевич Научный руководитель Попов Сергей Геннадьевич Организация Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Выходные сведения Санкт-Петербург, 2023 Коллекция Выпускные квалификационные работы; Общая коллекция Тематика бизнес-процесс; BPM; BPMN; согласованность параметров; XML; программирование в ограничениях; алгоритмы на графах; business process; parameter consistency; constraint programming; graph algorithms Тип документа Выпускная квалификационная работа бакалавра Тип файла PDF Язык Русский Уровень высшего образования Бакалавриат Код специальности ФГОС 02.03.01 Группа специальностей ФГОС 020000 - Компьютерные и информационные науки DOI 10.18720/SPBPU/3/2023/vr/vr23-3743 Права доступа Доступ по паролю из сети Интернет (чтение) pdf, 1,3 Мб
