Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=КОНЕЧНЫЕ АВТОМАТЫ<.>)
Общее количество найденных документов
:
15
Показаны документы
с 1 по 15
1..15
1.
З815
П80
Прокопенко, Светлана Анатольевна
.
Минимизация проверяющих тестов для систем логического управления методами теории конечных автоматов [Текст] : автореферат диссертации на соискание ученой степени кандидата технических наук: Специальность 05.13.01 / С. А. Прокопенко ; Томский государственный университет. - Томск, 2000. - 22с. : ил. -
ББК
З815
Рубрики:
Кибернетика
Кл.слова (ненормированные):
авторефераты З815
--
автоматы
теория
--
конечные
автоматы
--
проверяющие тесты
Держатели документа:
ЯрГУ
Доп.точки доступа:
Томский государственный университет ЯрГУ/ЧЗ/НБ
Свободных экз. нет
Найти похожие
2.
В18я54
К38
Кибернетический сборник
[Текст] : сборник переводов. №4 / Под ред.А.А.Ляпунова. - [Б. м. : б. и.]. - 256с. - 7.00 р.
ББК
В18я54
Рубрики:
кибернетика
Кл.слова (ненормированные):
б-ка Русина
--
математическая кибернетика
--
математические сети
--
конечные
автоматы
--
программы для ЭВМ
--
математическая лингвистика
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
3.
В181
М34
Математические методы в
теории систем [Текст] : сборник статей / пер. с англ. - М. : Мир, 1979. - 328 с. - (Математика. Новое в зарубежной науке, вып. 14). - 5.00 р.
ББК
В181
Рубрики:
кибернетика
Кл.слова (ненормированные):
б-ка Русина
--
математическая кибернетика
--
теория систем
--
линейные системы
--
конечные
автоматы
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
4.
В18
П16
Пантелеев, Павел Анатольевич
.
Об отличимости состояний конечных автоматов [Текст] : автореф. дисс. на соиск. уч. степ. кан. физ.-мат. наук. 01.01.09 / П. А. Пантелеев ; МГУ. - М. : [б. и.], 2006. - 14 с. - б/ц
ББК
В18
Рубрики:
кибернетика
Кл.слова (ненормированные):
авторефераты В18
--
математическая кибернетика
--
конечные
автоматы
--
отличимость состояний
Держатели документа:
ЯрГУ ЯрГУ/ЧЗ/НБ
Свободных экз. нет
Найти похожие
5.
В18я73
П 25
Пентус, Анна Евгеньевна
.
Математическая теория формальных языков [] : учеб. пособие для вузов / А. Е. Пентус, М. Р. Пентус. - М. : Интернет-Ун-т Информационных Технологий : БИНОМ. Лаборатория знаний, 2006. - 247 с. - (Основы информатики и математики). -
ISBN
5-94774-512-7. -
ISBN
5-9556-0062-0 : 300.00 р.
ББК
В18я73
Рубрики:
Математическая кибернетика
Кл.слова (ненормированные):
формальные языки
--
порождающие грамматики
--
конечные
автоматы
--
математическая лингвистика
Держатели документа:
ЯрГУ
Доп.точки доступа:
Пентус, Мати Рейнович
Свободных экз. нет
Найти похожие
6.
В174я73
Д 84
Дурнев, Валерий Георгиевич
.
Элементы дискретной математики [] : учеб. пособие для вузов / В. Г. Дурнев, М. А. Башкин, О. П. Якимова. Ч. 1. - [Б. м. : б. и.], 2007. - 166 с. -
ISBN
978-5-8397-0531-9 : 113.68 р.
ББК
В174я73
Рубрики:
Комбинаторный анализ
Кибернетика
Кл.слова (ненормированные):
дискретная математика
--
математическая кибернетика
--
комбинаторика
--
алфавитное кодирование
--
конечные
автоматы
--
учебник В174
--
учебник В18
--
ЯрГУ
Держатели документа:
ЯрГУ
Доп.точки доступа:
Башкин, Михаил Анатольевич; Якимова, Ольга Павловна
Свободных экз. нет
Найти похожие
7.
В174я73
Д 84
Дурнев, Валерий Георгиевич
.
Элементы дискретной математики [] : учеб. пособие для вузов / В. Г. Дурнев, М. А. Башкин, О. П. Якимова. Ч. 2. - [Б. м. : б. и.], 2007. - 180 с. -
ISBN
978-5-8397-0549-4 : 56.13 р.
ББК
В174я73
Рубрики:
Комбинаторный анализ
Кибернетика
Кл.слова (ненормированные):
дискретная математика
--
математическая кибернетика
--
графы
--
алгоритмы на графах
--
алфавитное кодирование
--
конечные
автоматы
--
учебник В174
--
учебник В18
--
ЯрГУ
Держатели документа:
ЯрГУ
Доп.точки доступа:
Башкин, Михаил Анатольевич; Якимова, Ольга Павловна
Свободных экз. нет
Найти похожие
8.
З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
Свободных экз. нет
Найти похожие
9.
В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
!odfp_W.pft: FILE NOT FOUND!
Свободных экз. нет
Найти похожие
1..15