Сводный каталог НТЛ по Ярославской области - результаты поиска

Базы данных:

Сводный каталог НТЛ по Ярославской области

Электронный каталог выпускных квалификационных работ

Виды поиска:

Поиск в найденном

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=формальные грамматики<.>)
Общее количество найденных документов : 2 Показаны документы с 1 по 2

1..2

В12
П25

Пентус, Мати Рейнович.
Исчисление Ламбека и формальные грамматики [Текст] : автореферат диссертации на соискание ученой степени кандидата физико-математических наук: Специальность 01.01.06 / М. Р. Пентус. - М : Московский государственный университет им. М. В. Ломоносова, 1996. - 12с. : ил. -

ББК В12
Рубрики: Математическая логика
Кл.слова (ненормированные):
авторефераты В12 -- формальные грамматики -- исчисление Ламбека

Держатели документа:
ЯрГУ ЯрГУ/ЧЗ/НБ
Свободных экз. нет
Найти похожие

З973.2-018.1я73
О-60

Опалева, Эльвира Александровна.
Языки программирования и методы трансляции [Текст] : [учеб. пособие для вузов] / Э. А. Опалева, В. П. Самойленко. - СПб : БХВ-Петербург, 2005. - 476 с. - ISBN 5-94157-327-8 : 135.42 р.

ББК З973.2-018.1я73
Рубрики: Программирование
Кл.слова (ненормированные):
языки программирования -- компиляция -- формальные грамматики -- формальные языки -- распознающие автоматы -- конечные автоматы -- синтаксический анализ -- учебник З973.2-018.1 -- учебник В185.2

Держатели документа:
ЯрГУ ЯрГУ/ЧЗ, ЯрГУ/Ф7
Свободных экз. нет
Найти похожие

1..2