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