РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»
НОВІ
НАДХОДЖЕННЯ
ПОШУК
РУБРИКАТОР

Бази даних

Реферативна база даних - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Книжкові видання та компакт-диски (7)Журнали та продовжувані видання (4)Автореферати дисертацій (3)Наукова періодика України (21)
Пошуковий запит: (<.>A=Летичевський О$<.>)
Загальна кількість знайдених документів : 16
Представлено документи з 1 до 16
1.

Летичевський О. А. Доведення теорем в математичному інформаційному середовищі. — 1998 // Кибернетика и систем. анализ.
2.

Капітонова Ю. В. Основи дискретної математики : Підруч. — К.: Наук. думка, 2002
3.

Летичевський О. О. Профілювання АПЛАН-програм. — 2002 // Пробл. программирования.
4.

Летичевський О. О. Верифікація та тестування інтерактивних систем, специфікованих за допомогою базових протоколів : Автореф. дис... канд. фіз.-мат. наук. — К., 2005
5.

Летичевський О. А. Алгоритм Очевидності Глушкова // Кибернетика и систем. анализ. - 2013. - 49, № 4.
6.

Летичевський О. А. В. М. Глушков і сучасна інформатика (від теорії автоматів до когнітивних архітектур) // Вісн. НАН України. - 2013. - № 8.
7.

Летичевський О. О. Символьні методи у верифікації та тестуванні високонадійних систем // Радіоелектрон. і комп'ютер. системи. - 2016. - № 5.
8.

Летичевський О. О. Символьні методи в тестуванні та верифікації високонадійних програмних систем : автореф. дис. ... д-ра фіз.-мат. наук : 01.05.03. — Київ, 2016
9.

Летичевський О. А. Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року) // Вісн. НАН України. - 2017. - № 2.
10.

Самойленко А. М. Владислав Кирилович Дзядик (до 100-річчя від дня народження) // Укр. мат. журн.. - 2019. - 71, № 2.
11.

Летичевський О. О. Алгебричний підхід у формалізації вразливостей в бінарному коді // Control Systems and Computers. - 2019. - № 6.
12.

Летичевський О. О. Децентралізовані системи в логістиці: огляд використання та проблеми безпеки // Проблеми програмування. - 2020. - № 1.
13.

Летичевський О. О. Техніка нечіткого тестування та її використання в задачах кібербезпеки // Кібернетика та систем. аналіз. - 2022. - 58, № 1.
14.

Летичевський О. О. Інсерційна семантика VHDL-мови електронного дизайну // Кібернетика та систем. аналіз. - 2022. - 58, № 2.
15.

Летичевський О. О. Сучасні методи та програмні системи молекулярного моделювання та застосування алгебри поведінок // Кібернетика та систем. аналіз. - 2022. - 58, № 3.
16.

Летичевський О. О. Алгебраїчне моделювання в системах міжнародної та місцевої обслуговуючої логістики // Проблеми програмування. - 2020. - № 4.
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

Всі права захищені © Національна бібліотека України імені В. І. Вернадського