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

В монографии рассматриваются теоретические основы и технологические решения в области разработки систем машинного перевода текстов нового поколения - систем фразеологического машинного перевода. Концепция создания таких систем была предложена проф. Г. Г. Белоноговым в 1975 г. в его предисловии к книге Д. А. Жукова \\\"Мы - переводчики\\\"....

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

Рассматриваются политико-юридические проблемы с древнейших времен до наших дней. Изложение курса основано на региональном, страноведческом и портретном (индивидуальном и коллективном) методах. Показаны закономерности развития политико-правовой идеологии, предложена история наиболее влиятельных концепций государства и права....

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

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

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

Освещается структура государственной статистики; дается характеристика статистической информации как объекта автоматизации....

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