|
П |
ПРОЕКТ-ЕС. Базовый инструментальный язык программирования |
1979 |
Глушков В. М., Бублик В. В., Гороховский С. С., Капитонова Ю. В., Летичевский А. А., Чуйкевич В. С. |
|
|
ИК АН УССР |
|
29.05.1999 |
|
М |
Математическая теория проектирования вычислительных систем |
1988 |
Капитонова Ю. В., Летичевский А. А. |
|
|
|
|
16.05.1989 |
|
СТ |
Система алгебраического программирования АПС-1 |
1989 |
Капитонова Ю. В., Летичевский А. А., Конозенко С. В. |
|
|
|
Адаптируемые средства программирования. Методы оценки трансляторов. (Матер.шк.-семин. 5-10 июня 1989 г.) |
23.03.1991 |
|
СТ |
Методы и средства алгебраического программирования |
1993 |
Капитонова Ю. В., Летичевский А. А. |
|
|
|
Кибернетика и системный анализ |
24.12.1993 |
|
СТ |
Об основных парадигмах программирования |
1994 |
Капитонова Ю. Б., Летичевский А. А. |
|
|
|
Кибернетика и системный анализ |
21.03.1995 |
|
СТ |
О реализации алгоритма Нильсена в системе алгебраического программирования АПС-1 |
1994 |
Летичевский А. А., Кривой С. Л. |
|
|
|
Кибернетика и системный анализ |
31.01.1995 |
|
СТ |
Особенности реализации оптимизирую его транслятора процедурного подмножества языка алгебраического программирования системы APS |
1995 |
Валькевич Т. А., Капитонова Ю. В., Летичевский А. А., Мищенко Н. М. |
|
|
|
Кибернетика и системный анализ |
07.03.1996 |
|
СТ |
Оптимизирую ий транслятор процедурного подмножества языка алгебраического программирования системы APS |
1995 |
Валькевич Т. А., Капитонова Ю. В., Летичевский А. А. |
|
|
|
Кибернетика и системный анализ |
07.03.1996 |
|
СТ |
Методы и средства моделирования хардвера распределенных вычислительных систем |
1995 |
Гребнев В. А., Капитонова Ю. В., Летичевский А. А. |
|
|
|
Кибернетика и системный анализ |
07.09.1995 |
|
СТ |
Концепция словарей программных компонентов и ее использование в процессе разработки программных продуктов |
1996 |
Валькевич Т. А., Капитонова Ю. В., Летичевский А. А., Мищенко Н. М. |
|
|
|
Кибернетика и системный анализ |
18.02.1997 |
|
СТ |
О зарождении и развитии кибернетических средств в Украине |
1997 |
Сергиенко И. В., Капитонова Ю. В., Летичевский А. А., Малиновский Б. Н., Рабинович З. Л., Стогний А. А. |
|
|
|
Управляю ие системы и машины |
21.10.1998 |
|
СТ |
Объекты в системе алгебраического программирования |
1997 |
Летичевский А. А., Маринченко В. Г. |
|
|
|
Кибернетика и системный анализ |
21.10.1998 |
|
СТ |
Доказательство теорем в математической информационной среде |
1998 |
Капитонова Ю. В., Летичевский А. А. |
|
|
|
Кибернетика и системный анализ |
23.09.1998 |
|
СТ |
О применении метода формализованных технических заданий к проектированию программ обработки структур данных |
1999 |
Глушков В. М., Капитонова Ю. В., Летичевский А. А. |
|
|
|
Программирование |
25.12.1999 |
|
СТ |
Дедуктивные средства системы алгебраического программирования |
2000 |
Капитонова Ю. В., Летичевский А. А., Волков В. А. |
|
|
|
Кибернетика и системный анализ |
22.04.2000 |
|
СТ |
Переписываю ая машина и оптимизация стратегий переписывания термов |
2002 |
Летичевский А. А., Хоменко В. В. |
|
|
|
Кибернетика и системный анализ |
11.12.2002 |
|
СТ |
Проверка корректности требований к программным системам, представленным атрибутными транзиционными системами |
2003 |
Баранов С. Н., Волков В. А., Годлевский А. Б., Капитонова Ю. В., Летичевский А. А. |
|
|
|
Кибернетика и системный анализ |
13.02.2004 |
|
СТ |
Спецификация систем с помо ью базовых протоколов |
2005 |
Летичевский А. Ад., Капитонова Ю. В., Волков В. А., Летичевский А. А., Баранов С. Н., Котляров В. П., Вейгерт Т. |
|
|
|
Кибернетика и системный анализ |
20.12.2005 |
|
СТ |
Теория автоматов, автоматизация проектирования и некоторые проблемы информатики |
2007 |
Капитонова Ю. В., Летичевский А. А. |
|
|
|
Кибернетика и системный анализ |
20.11.2007 |
|
СТ |
Генерация символьный трасс в системе инсерционного моделирования |
2015 |
Летичевский А. А., Летичевский А. Ал., Песчаненко В. С., Губа А. А. |
|
|
|
Кибернетика и системный анализ |
12.03.2015 |
|
СТ |
Кибер-физические системы |
2017 |
Летичевский А. А., Летичевский А. А., Скобелев В. Г. |
|
|
|
Кибернетика и системный анализ |
28.11.2017 |
