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

Базы данных:

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

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

Виды поиска:

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

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

Поисковый запрос: (<.>K=КОНЕЧНЫЕ АВТОМАТЫ<.>)
Общее количество найденных документов : 15 Показаны документы с 1 по 15

1..15

З815
П80

Прокопенко, Светлана Анатольевна.
Минимизация проверяющих тестов для систем логического управления методами теории конечных автоматов [Текст] : автореферат диссертации на соискание ученой степени кандидата технических наук: Специальность 05.13.01 / С. А. Прокопенко ; Томский государственный университет. - Томск, 2000. - 22с. : ил. -

ББК З815
Рубрики: Кибернетика
Кл.слова (ненормированные):
авторефераты З815 -- автоматы теория -- конечные автоматы -- проверяющие тесты

Держатели документа:
ЯрГУ

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

В18я54
К38

Кибернетический сборник [Текст] : сборник переводов. №4 / Под ред.А.А.Ляпунова. - [Б. м. : б. и.]. - 256с. - 7.00 р.

ББК В18я54
Рубрики: кибернетика
Кл.слова (ненормированные):
б-ка Русина -- математическая кибернетика -- математические сети -- конечные автоматы -- программы для ЭВМ -- математическая лингвистика

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

В181
М34

Математические методы в теории систем [Текст] : сборник статей / пер. с англ. - М. : Мир, 1979. - 328 с. - (Математика. Новое в зарубежной науке, вып. 14). - 5.00 р.

ББК В181
Рубрики: кибернетика
Кл.слова (ненормированные):
б-ка Русина -- математическая кибернетика -- теория систем -- линейные системы -- конечные автоматы

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

В18
П16

Пантелеев, Павел Анатольевич.
Об отличимости состояний конечных автоматов [Текст] : автореф. дисс. на соиск. уч. степ. кан. физ.-мат. наук. 01.01.09 / П. А. Пантелеев ; МГУ. - М. : [б. и.], 2006. - 14 с. - б/ц

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

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

В18я73
П 25

Пентус, Анна Евгеньевна.
Математическая теория формальных языков [] : учеб. пособие для вузов / А. Е. Пентус, М. Р. Пентус. - М. : Интернет-Ун-т Информационных Технологий : БИНОМ. Лаборатория знаний, 2006. - 247 с. - (Основы информатики и математики). - ISBN 5-94774-512-7. - ISBN 5-9556-0062-0 : 300.00 р.

ББК В18я73
Рубрики: Математическая кибернетика
Кл.слова (ненормированные):
формальные языки -- порождающие грамматики -- конечные автоматы -- математическая лингвистика

Держатели документа:
ЯрГУ

Доп.точки доступа:
Пентус, Мати Рейнович
Свободных экз. нет
Найти похожие

В174я73
Д 84

Дурнев, Валерий Георгиевич.
Элементы дискретной математики [] : учеб. пособие для вузов / В. Г. Дурнев, М. А. Башкин, О. П. Якимова. Ч. 1. - [Б. м. : б. и.], 2007. - 166 с. - ISBN 978-5-8397-0531-9 : 113.68 р.

ББК В174я73
Рубрики: Комбинаторный анализ
Кибернетика
Кл.слова (ненормированные):
дискретная математика -- математическая кибернетика -- комбинаторика -- алфавитное кодирование -- конечные автоматы -- учебник В174 -- учебник В18 -- ЯрГУ

Держатели документа:
ЯрГУ

Доп.точки доступа:
Башкин, Михаил Анатольевич; Якимова, Ольга Павловна
Свободных экз. нет
Найти похожие

В174я73
Д 84

Дурнев, Валерий Георгиевич.
Элементы дискретной математики [] : учеб. пособие для вузов / В. Г. Дурнев, М. А. Башкин, О. П. Якимова. Ч. 2. - [Б. м. : б. и.], 2007. - 180 с. - ISBN 978-5-8397-0549-4 : 56.13 р.

ББК В174я73
Рубрики: Комбинаторный анализ
Кибернетика
Кл.слова (ненормированные):
дискретная математика -- математическая кибернетика -- графы -- алгоритмы на графах -- алфавитное кодирование -- конечные автоматы -- учебник В174 -- учебник В18 -- ЯрГУ

Держатели документа:
ЯрГУ

Доп.точки доступа:
Башкин, Михаил Анатольевич; Якимова, Ольга Павловна
Свободных экз. нет
Найти похожие

З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
Свободных экз. нет
Найти похожие

В174.2я73
М16

Макоха, Анатолий Николаевич.
Дискретная математика [Текст] : учеб. пособие для вузов / А. Н. Макоха, П. Сахнюк, Н. И. Червяков. - М. : Физматлит, 2005. - 368 с. - ISBN 5-9221-0630-9 : 243.95 р.

ББК В174.2я73
Рубрики: Теория графов
Кибернетика
Кл.слова (ненормированные):
дискретная математика -- графы -- логические функции -- конечные автоматы -- модулярное кодирование -- учебник В174.2 -- учебник В181.3

Держатели документа:
ЯрГУ

Доп.точки доступа:
Сахнюк, Павел Анатольевич; Червяков, Николай Иванович ЯрГУ/Ф7
Свободных экз. нет
Найти похожие

10.

В12я73
Д84

Дурнев, Валерий Георгиевич.
Элементы теории алгоритмов [Текст] : учеб. пособие для вузов / В. Г. Дурнев. - Ярославль : [б. и.], 2008. - 247 с. - ISBN 978-5-8397-0622-4 : 128.00 р.

ББК В12я73
Рубрики: Логика
Кибернетика
Кл.слова (ненормированные):
математическая логика -- математическая кибернетика -- алгоритмы -- конечные автоматы -- рекурсивные функции -- машины Тьюринга -- учебник В12 -- учебник В181.3 -- ЯрГУ

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

11.

В185.2я73
С59

Соколов, Валерий Анатольевич.
Технологии трансляции [Текст] : учеб. пособие для вузов / В. А. Соколов, Д. Ю. Чалый. - Ярославль : [б. и.], 2008. - 122 с. - ISBN 978-5-8397-0630-9 : 46.00 р.

ББК В185.2я73
Рубрики: Программирование
Кл.слова (ненормированные):
языки программирования -- формальные языки -- анализаторы -- лексические анализаторы -- синтаксический анализ -- математическая лингвистика -- грамматики -- лексические ошибки -- конечные автоматы -- токены -- трансляторы -- технологии трансляции -- учебник В185.2 -- ЯрГУ

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

12.

681.5
К26

Карпов, Ю. Г.
Теория автоматов [Текст] : учебник для вузов / Ю.Г. Карпов. - СПб. : Питер, 2002. - 206 с. : табл., схемы, рис. - Библиогр.: с. 204-206 . - ISBN 5-318-00537-3 (в пер.) : 77.52 р.

ГРНТИ	28.15
УДК	681.5

Кл.слова (ненормированные):
функциональные прерыватели -- булевы функции -- пороговая -- логика -- математическая -- конечные автоматы -- автоматные языки -- машины Тьюринга

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие

13.

519.7
Ф19

Фалевич, Б. Я.
Теория алгоритмов [Текст] : учеб. пособие для вузов / Б.Я. Фалевич. - М. : Машиностроение, 2004. - 160 с. : ил. - (Для вузов). - Библиогр.: с.160. - ISBN 5-217-03249-9 : 88.00 р.

ГРНТИ	28.25.23
УДК	519.7

Кл.слова (ненормированные):
МАССОВАЯ ПРОБЛЕМА -- МАШИНЫ -- ТЬЮРИНГА -- ДВОИЧНОЕ -- КОДИРОВАНИЕ -- МОДЕЛИРОВАНИЕ -- СЛОВ АЛФАВИТа -- самоприменимость -- ЗАПИСЬ -- МАРКОВА -- КОНЕЧНЫЕ АВТОМАТЫ -- РЕКУРСИВНЫЕ -- ФУНКЦИИ -- МНОЖЕСТВ -- ПРЕДИКАТЫ -- ГРАФОВ

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие

14.

621.45
К59

Козлов, А. А.
Системы питания и управления жидкостных ракетных двигательных установок [Текст] : учебник для вузов / А.А. Козлов, В.Н. Новиков, Е.В. Соловьёв. - М. : Машиностроение, 1988. - 352 с. : рис., граф., табл., схем. - Библиогр.: с.346-347 . Предм. указ.: с. 347-350. - ISBN 5-217-00144-5 (в пер.) : 1.10 р.

ГРНТИ	55.42.49
УДК	621.45

Кл.слова (ненормированные):
ХАРАКТЕРИСТИКИ -- ПАРАМЕТРЫ -- ТОПЛИВА -- СИСТЕМЫ -- УПРАВЛЕНИЯ -- ПИТАНИЯ -- ТОПЛИВНЫЕ -- БАКИ -- РЕГУЛЯТОРЫ -- КОНЕЧНЫЕ АВТОМАТЫ

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163

Доп.точки доступа:
Новиков, В.Н.; Соловьёв, Е.В.
Свободных экз. нет
Найти похожие

15.

519.1
Б43

Белов, В. В.
Теория графов [Текст] : учеб. пособие для вузов / В.В. Белов, Е.М. Воробьев, В.Е. Шаталов. - М. : Высш. шк., 1976. - 392 с. : рис., схем, табл. - Библиогр.: с. 294, 389. - (в пер.) : 0.81 р.

ГРНТИ	27.45.17
УДК	519.1

Кл.слова (ненормированные):
АЛГОРИТМИЧЕСКИЕ -- ЗАДАЧИ -- ЛАБИРИНТЫ -- ГОМОМОРФИЗМ -- МУЛЬТИГРАФЫ -- АВТОМОРФИЗМЫ -- ЦИКЛЫ -- ТОПОЛОГИЧЕСКИЕ -- ИНВАРИАНТЫ -- РАСКРАСКА ГРАФОВ -- ХРОМАТИЧЕСКОЕ ЧИСЛО -- ЯДРО -- ТЕОРИЯ ИГР -- ТРАНСПОРТНЫЕ СЕТИ -- ГАМИЛЬТОНОВЫ -- МАРШРУТЫ -- ТЕОРИЯ -- КОНЕЧНЫЕ АВТОМАТЫ -- МАТРИЦЫ -- СМЕЖНОСТИ -- ПРОИЗВОДЯЩИЕ -- ФУНКЦИИ -- ТЕОРЕМА ПОЙА -- ПЕРЕЧИСЛЕНИЕ -- ЭЛЕКТРИЧЕСКИЕ СЕТИ -- МАРКОВСКИЕ -- ЦЕПИ -- ДИАГРАММА ФЕЙНМАНА

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163

Доп.точки доступа:
Воробьев, Е.М.; Шаталов, В.Е.
Свободных экз. нет
Найти похожие

1..15