Александр Адольфович Летичевский
Александр Адольфович Летичевский
Институт кибернетики им. В.М.Глушкова
Verified email at cyfra.net
Title
Cited by
Cited by
Year
Математическая теория проектирования вычислительных систем
ЮВ Капитонова, АА Летичевский
Наука, 1988
1231988
Теория дискретных преобразователей
ВМ Глушков, АА Летичевский
Избранные вопросы алгебры и логики: сб. статей. Новосибирск: Наука, 5-39, 1973
511973
Парадигмы и идеи академика ВМ Глушкова
ЮВ Капитонова, АА Летичевский
Наукова думка, 2003
442003
Лекции по дискретной математике
ЮВ Капитонова, СЛ Кривой, АА Летичевский, ГМ Луцкий
БВХ-Петербург, 2004
402004
Автоматизация проектирования вычислительных машин
ВМ Глушков, ЮВ Капитонова, АА Летичевский
Наукова думка, 1975
381975
Об одном классе базовых протоколов
АА Летичевский
Інститут програмних систем НАН України, 2005
342005
Функциональная эквивалентность дискретных преобразователей. II
АА Летичевский
Кибернетика, 14, 1970
281970
Условия полноты для конечных автоматов
АА Летичевский
Журнал вычислительной математики и математической физики 1 (4), 702-710, 1961
171961
Дедуктивные средства системы алгебраического программирования
ЮВ Капитонова, АА Летичевский, ВА Волков
Кибернетика и системный анализ 1, 17-35, 2000
162000
Теория структур данных и синхронные параллельные вычисления
ВМ Глушков, ЮВ Капитонова, АА Летичевский
Кибернетика 6, 2-15, 1976
151976
Инсерционное моделирование
АА Летичевский
Управляющие системы и машины, 3-14, 2012
132012
Об обработке математических текстов в системе алгебраического программирования
ЮВ Капитонова, АА Летичевский
Искусственный интеллект 3, 459-465, 2000
122000
О применении метода формализованных технических заданий к проектированию программ обработки структур данных
ВМ Глушков, ЮВ Капитонова, АА Летичевский
Программирование, 31-43, 1978
111978
Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений
ИС Ануреев, СН Баранов, ДМ Белоглазов, ПД Дробинцев, АВ Колчин, ...
Труды СПИИРАН 3 (26), 349-383, 2013
102013
Инсерционное программирование
АА Летичевский, ЮВ Капитонова, ВА Волков, ВВ Вышемирский, ...
Кибернетика и системный анализ, 19-32, 2003
102003
мл., Непомнящий ВА, Никифоров ИВ, Потиенко СВ, Прийма ЛВ, Тютин БВ Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных …
ИС Ануреев, СН Баранов, ДМ Белоглазов, ЕВ Бодин, ПД Дробинцев, ...
Труды СПИИРАН, 26, 2013
92013
Организация вычислений в многопроцессорных вычислительных системах
ВС Михалевич, ЮВ Капитонова, АА Летичевский, ИН Молчанов, ...
Кибернетика., 1, 1984
91984
Об одном подходе к анализу программ
АА Летичевский
Кибернетика, 1, 1979
91979
Теоретические основы проектирования дискретных систем
ВМ Глушков, ЮВ Капитонова, АА Летичевский
Кибернетика, 5, 1977
91977
Синтаксис и семантика формальных языков
АА Летичевский
Кибернетика. Киев, 17-25, 1968
91968
The system can't perform the operation now. Try again later.
Articles 1–20