| № | Дата |
Автор |
Заглавие |
|---|
|
1930 |
Чудовіч, Валянцін Уладзіміравіч (мовазнавец ; 1896—) |
Фармальны сінтаксіс : дапаможнік для настаўнікаў / В. Чудовіч і С. Дружылоўская |
|
2012 |
Мощенский, Владимир Андреевич (кандидат физико-математических наук ; род. 1938) |
Избранные главы дискретной математики в утверждениях и упражнениях : пособие для студентов, обучающихся по специальности 1-31 03 04 "Информатика" / В. А. Мощенский |
|
2014 |
Сорокин, Алексей Андреевич |
Об отношении совместимости в исчислении Ламбека и в его варианте с операциями замещения : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Сорокин Алексей Андреевич ; ФГБОУ ВПО Московский государственный университет им. М. В. Ломоносова |
|
2000 |
Яковишин, Владимир Семенович (кандидат филологических наук ; род. 1936) |
Формальный язык : Теория.Грамматика.Применение / Нац.акад.наук Беларуси.Ин-т техн.кибернетики |
|
2023 |
|
Трансляция формальных языков : курс лекций / Министерство образования Республики Беларусь, Учреждение образования "Витебский государственный университет им. П. М. Машерова", Кафедра прикладного и системного программирования ; [составитель С. В. Сергеенко] |
|
2014 |
Цветков, Игорь Анатольевич (доктор технических наук ; род. 1961) |
Обращающие и удваивающие самопополняемые алгорифмы / И. А. Цветков |
|
2005 |
Скачков, Максим Сергеевич (кандидат технических наук) |
Моделирование и визуализация иерархических структур на основе формальных грамматик L-систем и объектно-ориентированного подхода : диссертация на соискание ученой степени кандидата технических наук : защищена 23.06.2005 : утверждена 23.11.05 : 05.13.11 / Скачков Максим Сергеевич |
|
2005 |
Скачков, Максим Сергеевич (кандидат технических наук) |
Моделирование и визуализация иерархических структур на основе формальных грамматик L-систем и объектно-ориентированного подхода : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 : 23.06.2005 / Скачков Максим Сергеевич ; Учреждение образования "Белорусский государственный университет информатики и радиоэлектроники" |
|
2005 |
Опалева, Эльвира Александровна |
Языки программирования и методы трансляции : учебное пособие для высших учебных заведений по специальности 220400 (230105) - Программное обеспечение вычислительной техники и автоматизированных систем / Э.А.Опалева, В.П.Самойленко |
|
2002 |
Ландо, Сергей Константинович (доктор физико-математических наук ; род. 1955) |
Лекции о производящих функциях |
|
2019 |
Ландо, Сергей Константинович (доктор физико-математических наук ; род. 1955) |
Введение в дискретную математику : [курс лекций] / С. К. Ландо ; [Высшая школа экономики (ВШЭ), Факультет математики] |
|
1993 |
|
Формальные языки и грамматики.Задачи и упражнения : Учеб.пособие / В.А.Соколов,О.Б.Кушнаренко,Н.М.Бадин ; Ярослав.гос.ун-т |
|
1999 |
Горбатов, Вячеслав Афанасьевич (доктор технических наук ; доктор физико-математических наук ; доктор экономических наук ; 1939—2010) |
Фундаментальные основы дискретной математики : Информ.математика: Учеб.для студентов высш.техн.учеб.заведений |
|
2012 |
Ландо, Сергей Константинович (доктор физико-математических наук ; род. 1955) |
Введение в дискретную математику : [курс лекций] / С. К. Ландо |
|
2019 |
Сосинская, Софья Соломоновна (кандидат технических наук) |
Трансляторы и программные системы : учебное пособие для студентов высших учебных заведений, обучающихся по направлению "Автоматизация технологических процессов и производств" / С. С. Сосинская, Р. C. Дорофеев |
|
2019 |
Свердлов, Сергей Залманович |
Языки программирования и методы трансляции : учебное пособие / С. З. Свердлов |
|
2002 |
Карыгина, Юлия Анатольевна |
Фрактальная кристаллография квазикристаллических структур в древесно-графовом представлении на группах подобия : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.04.07 / Карыгина Юлия Анатольевна ; [Ин-т физики и информ. технологий Дальневост. гос. ун-та] |
|
2002 |
Корзун, Дмитрий Жоржевич (кандидат физико-математических наук ; род. 1976) |
Синтаксические алгоритмы решения неотрицательных линейных диофантовых уравнений и их приложение к моделированию структуры нагрузки канала Интернет : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 05.13.18 / Корзун Дмитрий Жоржевич ; С.-Петерб. гос. ун-т |
|
2004 |
Промский, Алексей Владимирович |
Формальная семантика C-light программ и их верификация методом Хоара : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.11 / Промский Алексей Владимирович ; Российская академия наук, Сибирское отделение, Институт систем информатикиим. А.П.Ершова |
|
2002 |
|
Current approaches to formal Slavic linguistics : contributions of the second European Conference on Formal Description of Slavic Languages FDSL II, held at Potsdam University, November 20-22, 1997 / editors: Peter Kosta, Jens Frasek |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ