
13.59 USD
Моделирование и верификация политик безопасности управления доступом в операционных системах
Описан процесс разработки и верификации формальных моделей безопасности управления доступом в операционных системах и реализующих их программных компонентов на примере отечественной защищенной операционной системы...
Настоящая книга является первым полномасштабным учебным изданием по коррозии для химико-технологических и машиностроительных специальностей высших учебных заведений (1-е издание - 2002 г., 2-е издание - 2006 г.). В...
Управление информационными ресурсами
Посвящен оценке состояния мирового и российского рынков информации, вопросам использования ресурсов знаний в экономике и развитии общества. Особое внимание уделено рынку электронной информации: профессиональным базам...
Мировые информационные ресурсы
В учебном пособии, написанном в соответствии с Государственным образовательным стандартом, даются основные характеристики мирового и российского рынков информационных услуг, рассматриваются требования к информации.
Настоящая книга является первым полномасштабным учебным изданием по коррозии для химико-технологических и машиностроительных специальностей высших учебных заведений. В основу учебного пособия положены программы...
TeachPro Информатика, 7-11 класс
В курсе рассматриваются:системы счисления, логика, алгоритмы, аппаратное обеспечение, языки программирования и программное обеспечение компьютера.
