Бібліотека Київського столичного університету імені Бориса Грінченка

Головна

Спрощенний режим

Посібник користувача

Бази даних

Електронний каталог бібліотеки- результати пошуку

Вид пошуку

Електронний каталог бібліотеки

Каталог авторефератів та дисертацій

Грінченкознавство

Рідкісні та цінні видання

Українська Аудіокнига

Мережеві ресурси

Наукові періодичні видання Університету

Зона пошуку

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: (<.>K=символьне моделювання<.>)

Загальна кількість знайдених документів : 3
Показані документи с 1 за 3

Летичевський, О. О.
Огляд сучасних методів захищеності та безпеки програмних систем [Текст] / О. О. Летичевський, В. С. Песчаненко, Я. В. Гринюк // Кибернетика и системный анализ : міжнародний науково-теоретичний журнал. - 2019. - № 5. - С. 156-169. - Бібліогр. в кінці ст. . - ISSN 0023-1274

Кл.слова (ненормовані):
алгебраїчне моделювання -- алгебра поведінок -- кібербезпека -- інсерційне програмування -- формальні методи -- символьні методи -- символьне моделювання -- пошук вразливостей
Дод.точки доступу:
Песчаненко, В. С.
Гринюк, Я. В.

Є примірники у відділах: всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)

Знайти схожі

Летичевський, О. О.
Алгебраїчний підхід у формалізації вразливостей в бінарному коді [Текст] / О. О. Летичевський, Я. В. Гринюк, В. М. Яковлев // УСиМ = Керуючі системи та комп'ютери = Системи керування та комп’ютери = Control systems computers : международный научный журнал. - 2019. - N 6. - С. 5-20. - Бібліогр. в кінці ст. . - ISSN 0130-5395. - ISSN 2518-1262. - ISSN 2706-8145

Кл.слова (ненормовані):
вразливості програмного забезпечення -- символьне моделювання -- алгебраїчне зіставлення -- алгебра поведінок
Дод.точки доступу:
Гринюк, Я. В.
Яковлев, В. М.

Є примірники у відділах: всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)

Знайти схожі

Летичевський, О. О.
Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах [Текст] / О. О. Летичевський, Песчаненко В. С. , Харченко В. С. // Кибернетика и системный анализ : міжнародний науково-теоретичний журнал. - 2020. - № 5. - С. 29-37. - Бібліогр. в кінці ст. . - ISSN 0023-1274

Кл.слова (ненормовані):
програмовані користувачем вентильні матриці -- символьне моделювання -- алгебраїчне зіставлення -- алгебра поведінок
Дод.точки доступу:
, Песчаненко В. С.
, Харченко В. С.

Є примірники у відділах: всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)

Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)