Поисковый запрос: (<.>U=81'32(043)<.>) |
Общее количество найденных документов : 11
Показаны документы с 1 по 11 |
>1. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар10-2860
Саватеев, Ю. В. Алгоритмическая сложность фрагментов исчисления Ламбека [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / Ю. В. Саватеев. - М., 2009. - 12 с. - Библиогр.: с. 12 (3 назв.) В надзаг.: МГУ им. М.В. Ломоносова, Мех.-мат. фак.
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>2. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар10-21073
Сутырин, П. Г. Алгоритмы обработки графовых описаний бесконтекстных языков [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / П. Г. Сутырин. - М., 2010. - 12 с. - Библиогр.: с. 12 (6 назв.) В надзаг.: МГУ им. М.В. Ломоносова, Фак. вычислит. мат. и кибернетики, Кафедра алгоритмических языков
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>3. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар10-10808
Поваров, Г. А. Дескриптивная сложность некоторых преобразований регулярных языков [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Г. А. Поваров. - Екатеринбург, 2010. - 14 с. - Библиогр.: с. 12-14 (27 назв.) В надзаг.: Рос. РАН, Урал. отд-ние, Ин-т мат. и механики
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>4. ![](/irbis64r_simplesite/images/printer.jpg)
| АР96-1907
Пентус, М. Р. Исчисление Ламбека и формальные грамматики [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / М. Р. Пентус. - М., 1996. - 12 с. В надзаг. :МГУ им.М.В.Ломоносова, Мех.-мат.фак. Библиогр.:с. 11-12 (6 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>5. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар10-23604
Шур, А. М. Комбинаторные характеризации формальных языков [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.01.06 / А. М. Шур. - Екатеринбург, 2010. - 34 с. - Библиогр.: с. 29-34 (68 назв.) В надзаг.: Рос. АН, Урал. отд-ние, Ин-т мат. и механики
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>6. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар13-1893
Софронова, Т. М. Лексикографическое моделирование русской и английской пирологической терминологии [Текст] : автореф. дис. ... канд. филолог. наук : 10.02.21 / Т. М. Софронова. - Тюмень, 2013. - 24 с. : ил. - Библиогр.: с. 22-24 (16 назв.)
Кл.слова (ненормированные): лесная пирологическая терминология -- двуязычные словари -- лексикографическое моделирование
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>7. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар11-19692
Баумгертнер, С. В. Мультиэвристический подход к звездно-высотной минимизации недетерминированных конечных автоматов [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.18 / С. В. Баумгертнер. - Тольятти, 2011. - 18 с. : ил. - Библиогр.: с. 17-18 (7 назв.)
Кл.слова (ненормированные): регулярные языки -- недетерминированные конечные автоматы -- эвристические алгоритмы -- проблемы звездной высоты -- регулярные выражения -- теория формальных языков
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>8. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар11-20607
Батуева, Ц. Ч. Применение алгебраических методов к решению некоторых вопросов сложности комбинаторной теории слов и частично упорядоченных множеств [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Ц. Ч. Батуева. - Новосибирск, 2011. - 23 с. - Библиогр.: с. 17-23 (57 назв.) Примечание о содержании: Место защиты: Ин-т математики им. С. Л. Соболева СО РАН
Кл.слова (ненормированные): формальные языки -- частично упорядоченные множества -- комбинаторика -- алгебраические методы -- теория моделей
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>9. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар12-13273
Алексеева, А. Г. Применение итераций конечных языков в алгоритмических задачах теории формальных языков [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.18 / А. Г. Алексеева. - Тольятти, 2012. - 22 с. - Библиогр.: с. 21-22 (11 назв.)
Кл.слова (ненормированные): формальные языки -- теория -- контекстно-свободные языки -- проблема эквивалентности
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>10. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар05-4683
Семынина, Т. В. Разработка категорных средств анализа формальных языков на основе теории конических типов [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / Т. В. Семынина. - Воронеж, 2005. - 17 c. - Библиогр.: с. 16-17(10 назв.). - 90 экз.
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>11. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар09-4753
Сеченова, Е. Г. Статистико-вероятностная модель гендерообусловленного авторского "Я" в научном дискурсе [Текст] : автореф. дис. ... канд. филолог. наук : 10.02.21 / Е. Г. Сеченова. - Тюмень, 2009. - 25 с : ил. - Библиогр.: с. 25(6 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
|
|