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

Бази даних

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

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

Дегтярев А. И. Алгоритм очевидности и проблемы представления и обработки компьютерных математических знаний. — 1999 // Кибернетика и систем. анализ.
2.

Капитонова Ю. В. Дедуктивные средства системы алгебраического программирования. — 2000 // Кибернетика и систем. анализ.
3.

Капитонова Ю. В. Парадигмы и идеи академика В.М.Глушкова : Моногр. — К.: Наук. думка, 2003
4.

Летичевский А. А. Переписывающая машина и оптимизация стратегий переписывания термов. — 2002 // Кибернетика и систем. анализ.
5.

Баранов С. Н. Проверка корректности требований к программным системам, представленным атрибутными транзиционными системами. — 2003 // Кибернетика и систем. анализ.
6.

Летичевский А. Ад. Спецификация систем с помощью базовых протоколов. — 2005 // Кибернетика и систем. анализ.
7.

Летичевский А. А. Об одном классе базовых протоколов. — 2005 // Пробл. програмув.
8.

Капитонова Ю. В. Теория автоматов, автоматизация проектирования и некоторые проблемы информатики. — 2007 // Кибернетика и систем. анализ.
9.

Капитонова Ю. В. Достижения и проблемы кибернетики и информатики в Украине. — 2007 // Наука та наукознавство.
10.

Летичевский А. А. Алгоритм трансляции APLAN кода. — 2010 // Управляющие системы и машины.
11.

Летичевский А. А. Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования. — 2010 // Кибернетика и систем. анализ.
12.

Летичевский А. А. Свойства предикатного трансформера системи VRS. — 2010 // Кибернетика и систем. анализ.
13.

Летичевский А. Ад. Инсерционное моделирование. — 2012 // Управляющие системы и машины.
14.

Колчин А. В. Обзор современных систем и методов верификации формальных моделей // Пробл. програмув.. - 2012. - № 4.
15.

Колчин А. В. Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем // Пробл. програмув.. - 2014. - № 2/3 (спец. вип.).
16.

Летичевский А. А. Генерация символьных трасс в системе инсерционного моделирования // Кибернетика и систем. анализ. - 2015. - 51, № 1.
17.

Летичевский А. А. Алгебраическая теория взаимодействия и кибер-физические систем // Проблемы упр. и информатики. - 2017. - № 5.
18.

Летичевский А. А. Кибер-физические системы // Кибернетика и систем. анализ. - 2017. - 53, № 6.
19.

Львов М. С. Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул // Кибернетика и систем. анализ. - 2018. - 54, № 6.
20.

Летичевский А. А. Обзор современных методов защищенности и безопасности программных систем // Кибернетика и систем. анализ. - 2019. - 55, № 5.
...
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

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