Инженерный журнал: наука и инновацииЭЛЕКТРОННОЕ НАУЧНО-ТЕХНИЧЕСКОЕ ИЗДАНИЕ
свидетельство о регистрации СМИ Эл № ФС77-53688 от 17 апреля 2013 г. ISSN 2308-6033. DOI 10.18698/2308-6033
  • Русский
  • Английский

Все статьи автора "Иванова Г.С."


Формализация оптимизирующих преобразований алгоритмов на графах и множествах

Опубликовано: 19.11.2013

Авторы: Овчинников В.А., Иванова Г.С.

Опубликовано в выпуске: #11(23)/2013

DOI: 10.18698/2308-6033-2013-11-1056

Раздел: Информационные технологии

Автоматизация анализа вычислительной и емкостной сложности алгоритмов на множествах и графах

Опубликовано: 19.11.2013

Авторы: Иванова Г.С.

Опубликовано в выпуске: #11(23)/2013

DOI: 10.18698/2308-6033-2013-11-1043

Раздел: Информационные технологии

Методика формального синтеза комбинированных структур данных для представления графов

Опубликовано: 02.11.2012

Авторы: Овчинников В.А., Иванова Г.С.

Опубликовано в выпуске: #1(1)/2012

DOI: 10.18698/2308-6033-2012-1-79

Раздел: Информационные технологии