Тезисы докладов

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

Страницы