Специальные определители для вычислительной техники - 004.01/.08

Научные статьи

В разделе "Специальные определители для вычислительной техники"
Теоретические основы оболочки для интерактивных систем верификации интуитивных математических доказательств
Реализация оболочки и портала знаний по верификации математических доказательств на платформе IACPAAS
Формирование понятийно-терминологического аппарата теории интерсубъективного управления
Алгоритмизация формирования и прагматической трансформации ограничений существования свойств предметной области
Система выбора и ранжирования альтернатив Свирь-М: теоретические основы и практика применения
Формализация требований к показателям в задачах многомерного оценивания объектов
Метод упорядочения альтернатив на основе заданных норм
Почему важно изменить культурное сознание, следуя принципам БРИКС?
Оптимизация проектирования систем защиты информации в автоматизированных информационных системах промышленных предприятий
Концептуальные основы создания систем автоматизированного управления энергообеспечением промышленного предприятия. Автоматизация в промышленности
Формальная верификация при проектировании сверхбольших интегральных схем
IPSEC and SSL as solutions for the enterprise network security
Оценка и обеспечение надёжности автоматизированных информационных систем в торговых организациях
О современном состоянии информационной защищенности общества: механизмы формирования и пути предотвращения индукции деструктивной идеологии в среде подростков и юношества при влиянии современной музыкальной и кино-культуры, видеоконтента интернета
Диагностический анализ влияния IT-пространства на информатизацию молодежи
Симулятор квантовых вычислений Feynman на языке Maple: основные возможности
Моделирование сценариев работы устройств несанкционированного съема конфиденциальной информации на основе имитационных средств
Анализ реализации общественных беспроводных сетей и моделирование атак на них
Разработка информационной системы тестирования уязвимостей web-ресурсов
Моделирование центров хранения и обработки данных с учетом экономических составляющих