Электронная библиотека (репозиторий) Томского государственного университета
Громов, Максим Леонидович

Add to Quick Collection   All 40 Results

Showing items 31 - 40 of 40.
Sort:
 Add All Items to Quick Collection
Add   Поиск простой цепи ограниченной длины в условиях динамически изменяющихся весов дуг
Authors: Громов, Максим Леонидович | Жамнов, Вадим Владимирович | Николаева, Екатерина Александровна | Матросова, Анжела Юрьевна
Source: Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 159-161
Type: статьи в журналах
Date: 2013
Add   Программный комплекс моделирования телекоммуникационной сети
Authors: Оленюк, Евгения Петровна | Громов, Максим Леонидович
Source: Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 184-186
Type: статьи в журналах
Date: 2013
Add   Экспериментальные исследования влияния логической дихотомии на скорость сколемизации булевых формул с кванторами
Authors: Шатилов, Никита Петрович | Громов, Максим Леонидович
Source: Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 174-176
Type: статьи в журналах
Date: 2013
Add   К упрощению сколемовых функций в булевых формулах с кванторами
Authors: Шатилов, Никита Петрович | Громов, Максим Леонидович
Source: Известия высших учебных заведений. Физика. 2012. Т. 55, № 9/2. С. 321-322
Type: статьи в журналах
Date: 2012
Add   Различающие эксперименты с неинициальными недетерминированными автоматами
Authors: Громов, Максим Леонидович | Кушик, Наталья Геннадьевна | Евтушенко, Нина Владимировна
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2011. № 4. С. 93-101
Type: статьи в журналах
Date: 2011
Add   Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01.
Authors: Громов, Максим Леонидович
Type: авторефераты диссертаций
Date: 2009
Add   Синтез условных различающих экспериментов для автоматов с недетерминированным поведением
Authors: Громов, Максим Леонидович | Евтушенко, Нина Владимировна
Source: Прикладная дискретная математика. 2009. № 4. С. 90-101
Type: статьи в журналах
Date: 2009
Add   Метод построения полного проверяющего теста для входо-выходных полуавтоматов
Authors: Громов, Максим Леонидович
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2008. № 3. С. 85-98
Type: статьи в журналах
Date: 2008
Description: В данной работе рассматривается задача нахождения полного проверяющего теста с гарантированной полнотой для входо-выходных полуавтоматов с молчанием. Решить задачу предлагается воспользовавшись извест ... More
Add   Дискретная математика : электронное учебное пособие
Authors: Прокопенко, Светлана Анатольевна | Громов, Максим Леонидович | Жигулин, Максим Владимирович
Type: учебные издания
Date: 2006
Description: Лабораторный практикум содержит комплекс задач и контрольных вопросов к электронному курсу "Дискретная математика". Ресурс разработан в рамках Инновационной образовательной программы ТГУ и предназначе ... More
Add   К синтезу тестов по мутационному автомату
Authors: Громов, Максим Леонидович | Дорофеева, Маргарита Юрьевна | Коломеец, Антон Владимирович
Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.). Томск, 2006. С. 43-48
Type: статьи в сборниках
Date: 2006

Creator

Date

Subject

Resource Type

^