Поисковый запрос: (<.>U=81'32(043)<.>) |
Общее количество найденных документов : 11
Показаны документы с 1 по 10 |
|
1. 
|
Вид документа : Однотомное издание
Шифр издания : АР96-1907
Автор(ы) : Пентус М.Р.
Заглавие : Исчисление Ламбека и формальные грамматики
: Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06
Выходные данные : М., 1996
Колич.характеристики :12 с.
Примечания : В надзаг. :МГУ им.М.В.Ломоносова, Мех.-мат.фак. Библиогр.:с. 11-12 (6 назв.)
ГРНТИ : 16.31
УДК : 81'32(043)
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
|
2.
|
Вид документа : Однотомное издание
Шифр издания : Ар05-4683
Автор(ы) : Семынина Т.В.
Заглавие : Разработка категорных средств анализа формальных языков на основе теории конических типов
: автореф. дис. ... канд. техн. наук : 05.13.11
Выходные данные : Воронеж, 2005
Колич.характеристики :17 c.
Примечания : Библиогр.: с. 16-17(10 назв.)
ГРНТИ : 16.31.31
УДК : 81'32(043)
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
|
3.
|
Вид документа : Однотомное издание
Шифр издания : Ар09-4753
Автор(ы) : Сеченова Е.Г.
Заглавие : Статистико-вероятностная модель гендерообусловленного авторского "Я" в научном дискурсе
: автореф. дис. ... канд. филолог. наук : 10.02.21
Выходные данные : Тюмень, 2009
Колич.характеристики :25 с:
ил
Примечания : Библиогр.: с. 25(6 назв.)
ГРНТИ : 16.31.21
УДК : 81'32(043)
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
|
4.
|
Вид документа : Однотомное издание
Шифр издания : Ар10-2860
Автор(ы) : Саватеев Ю.В.
Заглавие : Алгоритмическая сложность фрагментов исчисления Ламбека
: автореф. дис. ... канд. физ.-мат. наук : 01.01.06
Выходные данные : М., 2009
Колич.характеристики :12 с.
Примечания : Библиогр.: с. 12 (3 назв.). - В надзаг.: МГУ им. М.В. Ломоносова, Мех.-мат. фак.
ГРНТИ : 16.31
УДК : 81'32(043)
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
|
5.
|
Вид документа : Однотомное издание
Шифр издания : Ар10-10808
Автор(ы) : Поваров Г.А.
Заглавие : Дескриптивная сложность некоторых преобразований регулярных языков
: автореф. дис. ... канд. физ.-мат. наук : 01.01.09
Выходные данные : Екатеринбург, 2010
Колич.характеристики :14 с.
Примечания : Библиогр.: с. 12-14 (27 назв.). - В надзаг.: Рос. РАН, Урал. отд-ние, Ин-т мат. и механики
ГРНТИ : 16.31.31
УДК : 81'32(043)
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
|
6.
|
Вид документа : Однотомное издание
Шифр издания : Ар10-21073
Автор(ы) : Сутырин П.Г.
Заглавие : Алгоритмы обработки графовых описаний бесконтекстных языков
: автореф. дис. ... канд. физ.-мат. наук : 05.13.11
Выходные данные : М., 2010
Колич.характеристики :12 с.
Примечания : Библиогр.: с. 12 (6 назв.). - В надзаг.: МГУ им. М.В. Ломоносова, Фак. вычислит. мат. и кибернетики, Кафедра алгоритмических языков
ГРНТИ : 16.31
УДК : 81'32(043)
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
|
7.
|
Вид документа : Однотомное издание
Шифр издания : Ар10-23604
Автор(ы) : Шур А.М.
Заглавие : Комбинаторные характеризации формальных языков
: автореф. дис. ... д-ра физ.-мат. наук : 01.01.06
Выходные данные : Екатеринбург, 2010
Колич.характеристики :34 с.
Примечания : Библиогр.: с. 29-34 (68 назв.). - В надзаг.: Рос. АН, Урал. отд-ние, Ин-т мат. и механики
ГРНТИ : 16.31.31
УДК : 81'32(043)
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
|
8.
|
Вид документа : Однотомное издание
Шифр издания : Ар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.
|
Вид документа : Однотомное издание
Шифр издания : Ар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.
|
Вид документа : Однотомное издание
Шифр издания : Ар12-13273
Автор(ы) : Алексеева А.Г.
Заглавие : Применение итераций конечных языков в алгоритмических задачах теории формальных языков
: автореф. дис. ... канд. физ.-мат. наук : 05.13.18
Выходные данные : Тольятти, 2012
Колич.характеристики :22 с.
Примечания : Библиогр.: с. 21-22 (11 назв.)
ГРНТИ : 16.31.31
УДК : 81'32(043)
Ключевые слова (''Своб.индексиров.''): формальные языки--теория--контекстно-свободные языки--проблема эквивалентности
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
|
|
|
|
|
Главная страница
Российский сводный каталог по научно-технической литературе
Описание базы данных