• Журнал "Информационные технологии и вычислительные системы"
Русский English
  • О журнале
    • Редколлегия
    • Правила рецензирования
    • Публикационная этика
    • Редколлегия (рабочее)
  • Тематика
  • Авторам
    • Правила подготовки и подачи статей
    • Лицензионный договор
    • Правила подготовки (Рабочее)
    • Договор (рабочее)
  • Архив
    • №2/2026
    • №2/2025
    • №1/2025
    • №3/2021
  • Поиск
  • Контакты

Поиск

Ключевое слово: сложные системы

 

Использование логики X-CTL для формальной верификации Х-машин

М.С. Соболев
Выпуск 3/2010 Подробнее

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

Р.Ю. Замараев, С.Е. Попов
Выпуск 3/2010 Подробнее

Разработка инструментальной системы распределенного имитационного моделирования

Ю.И. Бродский, Ю.Н. Павловский
Выпуск 4/2009 Подробнее

Описание систем при помощи Х-машин

М.С. Соболев
Выпуск 4/2009 Подробнее

  • О журнале
  • Тематика
  • Авторам
  • Архив
  • Поиск
  • Контакты

© ФИЦ ИУ РАН, 2008