Showing 1 - 15 results of 15 for search 'Стефанцов, Дмитрий Александрович', query time: 0.02s Refine Results
  1. 1
    Разработка операционной системы на языке ЛЯПАС
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  2. 2
    Инструкции и рекомендации по подготовке статей в формате LaTeX для журнала "Прикладная дискретная математика"
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  3. 3
    Внедрение политик безопасности в компьютерные системы методом АОП на примере FTP-сервера Apache
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  4. 4
    Язык программирования AspectTalk
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  5. 5
    Комплексы в ЛЯПАСе
    Other Authors: “...Стефанцов, Дмитрий Александрович...”
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  6. 6
    Операционная семантика ЛЯПАСа
    Other Authors: “...Стефанцов, Дмитрий Александрович...”
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  7. 7
    Разработка автоматизированного средства для доказательства свойств программ
    Other Authors: “...Стефанцов, Дмитрий Александрович...”
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  8. 8
    Модификация ЛЯПАСа для разработки ОС
    Other Authors: “...Стефанцов, Дмитрий Александрович...”
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  9. 9
    Интервалы индексов в ЛЯПАСе
    Other Authors: “...Стефанцов, Дмитрий Александрович...”
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  10. 10
    Сервис BlackBox для проведения соревнований по защите компьютерной информации Capture The Flag
    Other Authors: “...Стефанцов, Дмитрий Александрович...”
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  11. 11
    Модификация скомпилированных приложений для платформы Android методом аспектно-ориентированного программирования
    Other Authors: “...Стефанцов, Дмитрий Александрович...”
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  12. 12
    О разработке криптографически защищенной ОС для безопасного выполнения коллективных проектов
    Other Authors: “...Стефанцов, Дмитрий Александрович...”
    Перейти в каталог НБ ТГУ
    Book Chapter
  13. 13
    Разработка средств моделирования политик безопасности операционных систем
    Other Authors: “...Стефанцов, Дмитрий Александрович...”
    Перейти в каталог НБ ТГУ
    Book Chapter
  14. 14
    О собственном программном обеспечении и учебно-тренировочных средствах компьютерной безопасности
    Other Authors: “...Стефанцов, Дмитрий Александрович...”
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  15. 15
    Модульный транслятор с языка ЛЯПАС
    Other Authors: “...Стефанцов, Дмитрий Александрович...”
    Get full text
    Перейти в каталог НБ ТГУ
    Article
Search Tools: Get RSS Feed