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

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

Издательство: Горячая линия - Телеком
Дата выхода: февраль 2019

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

Издательство: Физматлит
Дата выхода: октябрь 2010

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

Издательство: Финансы и статистика
Дата выхода: сентябрь 2006

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

Издательство: Питер
Дата выхода: июнь 2004

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

Издательство: Физматлит
Дата выхода: апрель 2005

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

Издательство: Мультимедиа Технологии и Дистанционное Обучение
Дата выхода: февраль 2001