РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»
Оберіть мову
Ukrainian
Arabic
Armenian
Azerbaijani
Belarusian
Bulgarian
Chinese (Simplified)
Chinese (Traditional)
Czech
Danish
Dutch
English
Estonian
Finnish
French
Georgian
German
Greek
Hebrew
Hindi
Hungarian
Icelandic
Irish
Italian
Japanese
Korean
Latvian
Lithuanian
Norwegian
Persian
Polish
Portuguese
Romanian
Russian
Serbian
Slovak
Slovenian
Spanish
Swahili
Swedish
НОВІ
НАДХОДЖЕННЯ
ПОШУК
РУБРИКАТОР
Бази даних
Реферативна база даних - результати пошуку
Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Вид пошуку
Ключові слова (без закінчення)
Автор (тільки прізвище)
Назва
Рік видання
у знайденому
Сортувати знайдені документи за:
автором
назвою
роком видання
видом документа
Знайдено в інших БД:
Книжкові видання та компакт-диски (16)
Журнали та продовжувані видання (1)
Наукова періодика України (17)
Пошуковий запит:
(<.>A=Летичевский А$<.>)
Загальна кількість знайдених документів
:
22
Представлено документи
з 1 до 20
...
1.
Летичевский А
. А.
Алгебраическая теория взаимодействия и кибер-физические систем
//
Проблемы упр. и информатики
. - 2017. - № 5.
2.
Львов М. С.
Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул
//
Кибернетика и систем. анализ
. - 2018. - 54, № 6.
3.
Дегтярев А. И.
Алгоритм очевидности и проблемы представления и обработки компьютерных математических знаний
. — 1999 //
Кибернетика и систем. анализ
.
4.
Летичевский А
. А.
Алгоритм трансляции
APLAN
кода
. — 2010 //
Управляющие системы и машины
.
5.
Летичевский А
. А.
Генерация символьных трасс в системе инсерционного моделирования
//
Кибернетика и систем. анализ
. - 2015. - 51, № 1.
6.
Капитонова Ю. В.
Дедуктивные средства системы алгебраического программирования
. — 2000 //
Кибернетика и систем. анализ
.
7.
Капитонова Ю. В.
Достижения и проблемы кибернетики и информатики в Украине
. — 2007 //
Наука та наукознавство
.
8.
Летичевский А
. Ад.
Инсерционное моделирование
. — 2012 //
Управляющие системы и машины
.
9.
Летичевский А
. А.
Кибер-физические системы
//
Кибернетика и систем. анализ
. - 2017. - 53, № 6.
10.
Колчин А. В.
Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем
//
Пробл. програмув.
. - 2014. - № 2/3 (спец. вип.).
11.
Летичевский А
. А.
Модельный способ разработки алгоритмов цифровых систем на программируемых логических интегральных схемах
//
Кибернетика и систем. анализ
. - 2020. - 56, № 5.
12.
Летичевский А
. А.
Об одном классе базовых протоколов
. — 2005 //
Пробл. програмув
.
13.
Летичевский А
. А.
Обзор современных методов защищенности и безопасности программных систем
//
Кибернетика и систем. анализ
. - 2019. - 55, № 5.
14.
Летичевский А
. А.
Обзор современных методов защищенности и безопасности программных систем
//
Кибернетика и систем. анализ
. - 2019. - 55, № 5.
15.
Колчин А. В.
Обзор современных систем и методов верификации формальных моделей
//
Пробл. програмув.
. - 2012. - № 4.
16.
Капитонова Ю. В.
Парадигмы и идеи академика В.М.Глушкова
: Моногр. — К.: Наук. думка, 2003
17.
Летичевский А
. А.
Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования
. — 2010 //
Кибернетика и систем. анализ
.
18.
Летичевский А
. А.
Переписывающая машина и оптимизация стратегий переписывания термов
. — 2002 //
Кибернетика и систем. анализ
.
19.
Баранов С. Н.
Проверка корректности требований к программным системам, представленным атрибутными транзиционными системами
. — 2003 //
Кибернетика и систем. анализ
.
20.
Летичевский А
. А.
Свойства предикатного трансформера системи VRS
. — 2010 //
Кибернетика и систем. анализ
.
...
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України
Всі права захищені ©
Національна бібліотека України імені В. І. Вернадського