А. В. Хорошилов

Моделирование и верификация политик безопасности управления доступом в операционных системах

П.Н. Девянин Д. В. Ефремов В. В. Кулямин А. К. Петренко А. В. Хорошилов И. В. Щепетков

Описан процесс разработки и верификации формальных моделей безопасности управления доступом в операционных системах и реализующих их программных компонентов на примере отечественной защищенной операционной системы...

Коррозия и защита от коррозии

Ирина Семенова А. В. Хорошилов

Настоящая книга является первым полномасштабным учебным изданием по коррозии для химико-технологических и машиностроительных специальностей высших учебных заведений (1-е издание - 2002 г., 2-е издание - 2006 г.). В...

Управление информационными ресурсами

А. В. Хорошилов

Посвящен оценке состояния мирового и российского рынков информации, вопросам использования ресурсов знаний в экономике и развитии общества. Особое внимание уделено рынку электронной информации: профессиональным базам...

Мировые информационные ресурсы

А. В. Хорошилов С.Н. Селетков

В учебном пособии, написанном в соответствии с Государственным образовательным стандартом, даются основные характеристики мирового и российского рынков информационных услуг, рассматриваются требования к информации.

Коррозия и защита от коррозии

Ирина Семенова Г.М. Флорианович А. В. Хорошилов

Настоящая книга является первым полномасштабным учебным изданием по коррозии для химико-технологических и машиностроительных специальностей высших учебных заведений. В основу учебного пособия положены программы...

TeachPro Информатика, 7-11 класс

Ю.В. Вальциферов А. В. Хорошилов В. С. Самойлов

В курсе рассматриваются:системы счисления, логика, алгоритмы, аппаратное обеспечение, языки программирования и программное обеспечение компьютера.