Наукова електронна бібліотека
періодичних видань НАН України

Перегляд Проблеми програмування, 2003 за назвою

Репозиторій DSpace/Manakin

Перегляд Проблеми програмування, 2003 за назвою

Сортувати за: Порядок: Результатів:

  • Чеботарев, А.Н. (2003)
    Предложен подход к синтезу автомата, специфицированного логической формулой в конъюнктивной нормальной форме (к.н.ф.). Хотя при этом используется метод синтеза автомата по формуле, представленной в дизъюнктивной нормальной ...
  • Дорошенко, А.Е.; Шевченко, Р.С. (2003)
    Описана система символьных вычислений, предназначенная для встраивания в промышленные приложения с целью обеспечения их гибкости и настраиваемости соответственно изменяющимся требованиям и условиям функционирования. Предложен ...
  • Рувинская, В.М.; Пригожев, А.С. (2003)
    Рассматриваются основные достоинства и недостатки наиболее распространённых средств доступа незрячих к ПК. Предлагаются структура и функции слуховой среды для незрячих, с помощью которых они смогут разрабатывать программы ...
  • Антонюк, А.А.; Жора, В.В.; Мостовой, В.Н. (2003)
    Рассматривается классификация угроз информации в соответствии с требованиями национального стандарта по защите информации. Дается их формальное описание, а также формальное описание некоторых услуг по обеспечению безопасности ...
  • Винник, В.Ю. (2003)
    У концептуально-методологічному середовищі композиційного та експлікативного програмування розглядається задача побудови системи взаємопов’язаних адекватних математичних моделей семантики програм символьної обробки, що ...
  • Грищенко, В.Н. (2003)
    Предложен подход к построению формальных моделей компонентного программирования как основы создания компонентной теории. Рассмотрены модели компонентов, компонентных сред, определены внешняя и внутренняя компонентные ...

Пошук


Розширений пошук

Перегляд

Мій обліковий запис