Александр Адольфович Летичевский
Александр Адольфович Летичевский
Институт кибернетики им. В.М.Глушкова
Підтверджена електронна адреса в cyfra.net
Назва
Посилання
Посилання
Рік
Математическая теория проектирования вычислительных систем
ЮВ Капитонова, АА Летичевский
Наука, 1988
1251988
Теория дискретных преобразователей
ВМ Глушков, АА Летичевский
Избранные вопросы алгебры и логики: сб. статей. Новосибирск: Наука, 5-39, 1973
521973
Парадигмы и идеи академика ВМ Глушкова
ЮВ Капитонова, АА Летичевский
Наукова думка, 2003
472003
Лекции по дискретной математике
ЮВ Капитонова, СЛ Кривой, АА Летичевский, ГМ Луцкий
БВХ-Петербург, 2004
432004
Автоматизация проектирования вычислительных машин
ВМ Глушков, ЮВ Капитонова, АА Летичевский
Наукова думка, 1975
411975
Функциональная эквивалентность дискретных преобразователей. II
АА Летичевский
Кибернетика, 5, 1969
361969
Об одном классе базовых протоколов
АА Летичевский
Інститут програмних систем НАН України, 2005
352005
Условия полноты для конечных автоматов
АА Летичевский
Журнал вычислительной математики и математической физики 1 (4), 702-710, 1961
211961
Дедуктивные средства системы алгебраического программирования
ЮВ Капитонова, АА Летичевский, ВА Волков
Кибернетика и системный анализ 1, 17-35, 2000
162000
Теория структур данных и синхронные параллельные вычисления
ВМ Глушков, ЮВ Капитонова, АА Летичевский
Кибернетика, 20, 1976
151976
Инсерционное моделирование
АА Летичевский
Управляющие системы и машины, 3-14, 2012
142012
О применении метода формализованных технических заданий к проектированию программ обработки структур данных
ВМ Глушков, ЮВ Капитонова, АА Летичевский
Программирование, 31-43, 1978
131978
Об обработке математических текстов в системе алгебраического программирования
ЮВ Капитонова, АА Летичевский
Искусственный интеллект 3, 459-465, 2000
122000
Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений
ИС Ануреев, СН Баранов, ДМ Белоглазов, ПД Дробинцев, АВ Колчин, ...
Информатика и автоматизация, 349-383, 2013
102013
Инсерционное программирование
АА Летичевский, ЮВ Капитонова, ВА Волков, ВВ Вышемирский, ...
Кибернетика и системный анализ, 19-32, 2003
102003
Организация вычислений в многопроцессорных вычислительных системах
ВС Михалевич, ЮВ Капитонова, АА Летичевский, ИН Молчанов, ...
Кибернетика 3, 1-10, 1984
101984
Практические методы распознавания эквивалентности дискретных преобразователей и схем программ
АА Летичевский
Кибернетика, 15, 1973
91973
Синтаксис и семантика формальных языков
АА Летичевский
Кибернетика. Киев, 17-25, 1968
91968
мл., Непомнящий ВА, Никифоров ИВ, Потиенко СВ, Прийма ЛВ, Тютин БВ Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных …
ИС Ануреев, СН Баранов, ДМ Белоглазов, ЕВ Бодин, ПД Дробинцев, ...
Труды СПИИРАН, 26, 2013
82013
Алгебpаическое пpогpаммиpование
ПH Денисенко, АА Летичевский
Киpовогpад: КHHПК 120, 2002
82002
У даний момент система не може виконати операцію. Спробуйте пізніше.
Статті 1–20