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

Перегляд Управляющие системы и машины, 2015, № 1 за темою "Фундаментальные и прикладные проблемы информатики и информационных технологий"

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

Перегляд Управляющие системы и машины, 2015, № 1 за темою "Фундаментальные и прикладные проблемы информатики и информационных технологий"

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

  • Babichev, S. (Управляющие системы и машины, 2015)
    The modern state analysis of the clustering methods for high dimension data processing is conducted. The analysis of the existing methods and means of a current operation realization for each experiment phase is carried ...
  • Бойко, Ю.В.; Глибовец, Н.Н.; Ершов, С.В.; Крывый, С.Л.; Погорилый, С.Д.; Ролик, А.И.; Теленик, С.Ф.; Куляс, А.И.; Крак, Ю.В.; Ясочка, М.В. (Управляющие системы и машины, 2015)
    Представлен аналитический обзор современных методов верификации программного обеспечения параллельных и распределенных систем. Описаны методы верификации на основе исследования свойств конечных автоматов, сетей Петри и ...

Пошук


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

Перегляд

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