Материалов:
1 005 012

Репозиториев:
30

Авторов:
761 409

По вашему запросу найдено документов: 70663

Страница 2 из 7067

Приемы дедуктивной верификации программного кода с использованием AstraVer Toolset
Кокорин, Артем Олегович, Тиевский, Станислав Дмитриевич, Девянин, Петр Николаевич
отечественной защищённой операционной системы специального назначения Astra Linux Special Edition. Благодаря
Информатика. Компьютер и его устройство : учебно-методический комплекс
Беликов, Дмитрий Анатольевич, Каминская, Елена Владимировна
операционная система Linux
О приемах по доработке согласованного описания МРОСЛ ДП-модели для ОС и СУБД с целью его верификации инструментами Rodin и ProB
Девянин, Петр Николаевич, Леонова, Мария Александровна
Astra Linux Special Edition, операционная система специального назначения
Архитектура и программное обеспечение суперкомпьютеров : учебное пособие
Богословский, Николай Николаевич, Панасенко, Елена Александровна, Проханов, Сергей Анатольевич
GNU/Linux, операционная система
Практикум по методам параллельных вычислений : [учебник для студентов вузов, обучающихся по направлениям ВПО 010400 "Прикладная математика и информатика" и 010300 "Фундаментальная информатика и информационные технологии"]
Старченко, Александр Васильевич, Данилкин, Евгений Александрович, Лаева, Валентина Ивановна, Проханов, Сергей Анатольевич
GNU/Linux, операционная система
Исследование средств защиты информации Astra Linux Смоленск
Сляднев, В. С., Белов, Д. Е., Сляднева, Е. А.
Операционная система специального назначения Astra Linux Special Edition (ОС СН Смоленск
Операционные системы. Переход с ОС Windows на Linux в образовательных учреждениях
Красовская, Л. В., Зубенко, А. С., Саляева, Н. С., Чуева, Е. В.
Операционные системы. Переход с ОС Windows на Linux в образовательных учреждениях / Л. В
ИСПОЛЬЗОВАНИЕ ОПЕРАЦИОННЫХ СИСТЕМ LINUX В ОБРАЗОВАНИИ
Реунков, В. С.
ИСПОЛЬЗОВАНИЕ ОПЕРАЦИОННЫХ СИСТЕМ LINUX В ОБРАЗОВАНИИ
Параллельные вычисления на многопроцессорных системах : учебно-методический комплекс
Беликов, Дмитрий Анатольевич, Данилкин, Евгений Александрович, Говязов, Иван Владимирович
Linux, операционная система
Анализ рынков продвижения мобильных приложений
Петелин, Александр Евгеньевич, Кирилюк, Василий Андреевич, Гайдук, Кристина Алексеевна
Android, операционная система

Страница 2 из 7067

Фасеты

Партнеры

КФУ
ТГУ
Elpub
СФУ
Webpublishers

Индексация

BASE
WorldCat
OpenAIRE
EDS
core