Анализ сложности классов функций алгебры логики от трех и четырех переменных |
Параллельный алгоритм параметрического синтеза управляемых комбинированных динамических систем |
Разработка универсального теста производительности для облачных вычислений |
Анализ сложности графических показателей функционирования мозга (ЭЭГ) с помощью спектра динамических параметров |
VHDL-МОДЕЛИ СИСТЕМ НЕ ПОЛНОСТЬЮ ОПРЕДЕЛЕННЫХ БУЛЕВЫХ ФУНКЦИЙ |
О КОРРЕКТНОСТИ ЗАДАЧ ГИПЕРВЕКТОРНОГО РАНЖИРОВАНИЯ |
Анализ готовности студентов к внедрению интернет-технологий в учебный процесс |
О процедуре получения гомоморфных образов конечного детерминированного автомата |
О ПРОБЛЕМАХ РАЗРЕШИМОСТИ ЭЛЕМЕНТАРНЫХ ТЕОРИЙ УНИВЕРСАЛЬНЫХ ПЛАНАРНЫХ АВТОМАТОВ |
Использование информационных технологий для контроля знаний |
Многоверсионные вычисления и развитие парадигмы фон Неймана |
Модели и методы представления человеческого фактора в управлении сложными системами |
ОБЛАЧНЫЕ ВЫЧИСЛЕНИЯ В ОБРАЗОВАНИИ |
О задаче построения имитационной модели для автоматов над кольцами |
ФОРМИРОВАНИЕ ИКТ-КОМПЕТЕНЦИЙ СУБЪЕКТОВ УЧЕБНО-ВОСПИТАТЕЛЬНОЙ ДЕЯТЕЛЬНОСТИ НА ВСЕХ СТУПЕНЯХ ОБРАЗОВАНИЯ |
Применение мультиспектральных информационно-измерительных систем в научно-исследовательских и образовательных проектах |
Подготовка IT-специалистов на базе Центра образования и разработок в сфере информационных технологий |