Математическая теория проектирования вычислительных систем ЛАА Капитонова ЮВ | 143 | 1988 |
Основи дискретної математики ЮВ Капітонова, СЛ Кривий, ОА Летичевський, ГМ Луцький, МК Печурін К.: Наукова думка, 224-229, 2002 | 86 | 2002 |
Теория дискретных преобразователей ВМ Глушков, АА Летичевский Избранные вопросы алгебры и логики: сб. статей. Новосибирск: Наука, 5-39, 1973 | 63 | 1973 |
Парадигмы и идеи академика ВМ Глушкова ЮВ Капитонова, АА Летичевский Наукова думка, 2003 | 62 | 2003 |
Автоматизация проектирования вычислительных машин ВМ Глушков, ЮВ Капитонова, АА Летичевский Наукова думка, 1975 | 55 | 1975 |
Лекции по дискретной математике ЮВ Капитонова, СЛ Кривой, АА Летичевский, ГМ Луцкий СПб.: БХВ-Петербург 624, 8, 2004 | 51 | 2004 |
Функциональная эквивалентность дискретных преобразователей. II АА Летичевский Кибернетика 2 (1970), 2, 1969 | 44 | 1969 |
Об одном классе базовых протоколов АА Летичевский Інститут програмних систем НАН України, 2005 | 36 | 2005 |
Условия полноты для конечных автоматов АА Летичевский Журнал вычислительной математики и математической физики 1 (4), 702-710, 1961 | 27 | 1961 |
Теория структур данных и синхронные параллельные вычисления ВМ Глушков, ЮВ Капитонова, АА Летичевский Кибернетика, 20, 1976 | 21 | 1976 |
Основи дискретної математики: Підручник ЮВ Капітонова, СЛ Кривий, ОА Летичевський, ГМ Луцький, МК Печурін К.: Наукова думка, 2002 | 20 | 2002 |
Инсерционное моделирование АА Летичевский Управляющие системы и машины, 3-14, 2012 | 18* | 2012 |
О применении метода формализованных технических заданий к проектированию программ обработки структур данных ВМ Глушков, ЮВ Капитонова, АА Летичевский Программирование, 31-43, 1978 | 16 | 1978 |
Дедуктивные средства системы алгебраического программирования ЮВ Капитонова, АА Летичевский, ВА Волков Кибернетика и системный анализ 1, 17-35, 2000 | 14 | 2000 |
Эквивалентность автоматов относительно полугрупп АА Летичевский Теоретическая кибернетика, 3-71, 1970 | 13 | 1970 |
Эквивалентность автоматов с заключительным состоянием относительно свободной полугруппы с правым нулем АА Летичевский Доклады Академии наук 182 (5), 1007-1009, 1968 | 13 | 1968 |
Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений ИС Ануреев, СН Баранов, ДМ Белоглазов, ПД Дробинцев, АВ Колчин, ... Информатика и автоматизация 3 (26), 349-383, 2013 | 12 | 2013 |
Об обработке математических текстов в системе алгебраического программирования ЮВ Капитонова, АА Летичевский Искусственный интеллект 3, 459-465, 2000 | 12 | 2000 |
Организация вычислений в многопроцессорных вычислительных системах ВС Михалевич, ЮВ Капитонова, АА Летичевский, ИН Молчанов, ... Кибернетика., 1, 1984 | 12 | 1984 |
Инсерционное программирование АА Летичевский, ЮВ Капитонова, ВА Волков, ВВ Вышемирский, ... Кибернетика и системный анализ, 19-32, 2003 | 11 | 2003 |