Главная страница

Базы данных


- результаты поиска

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=81'32(043)<.>)
Общее количество найденных документов : 11
Показаны документы с 1 по 10
 1-10    11-11 
1.
Пентус М.Р. Исчисление Ламбека и формальные грамматики/М. Р. Пентус. - 1996
2.
Семынина Т.В. Разработка категорных средств анализа формальных языков на основе теории конических типов/Т. В. Семынина. - 2005
3.
Сеченова Е.Г. Статистико-вероятностная модель гендерообусловленного авторского "Я" в научном дискурсе/Е. Г. Сеченова. - 2009
4.
Саватеев Ю.В. Алгоритмическая сложность фрагментов исчисления Ламбека/Ю. В. Саватеев. - 2009
5.
Поваров Г.А. Дескриптивная сложность некоторых преобразований регулярных языков/Г. А. Поваров. - 2010
6.
Сутырин П.Г. Алгоритмы обработки графовых описаний бесконтекстных языков/П. Г. Сутырин. - 2010
7.
Шур А.М. Комбинаторные характеризации формальных языков/А. М. Шур. - 2010
8.
Баумгертнер С.В. Мультиэвристический подход к звездно-высотной минимизации недетерминированных конечных автоматов/С. В. Баумгертнер. - 2011
9.
Батуева Ц.Ч. Применение алгебраических методов к решению некоторых вопросов сложности комбинаторной теории слов и частично упорядоченных множеств/Ц. Ч. Батуева. - 2011
10.
Алексеева А.Г. Применение итераций конечных языков в алгоритмических задачах теории формальных языков/А. Г. Алексеева. - 2012
 1-10    11-11 
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)