Результаты поиска - "КОНЕЧНЫЕ АВТОМАТЫ"

119 results Пропуск в контексте

Электронный каталог
Национальной библиотеки
Беларуси

Вход
Язык

Расширенный поиск

Расширенный поиск

Поиск: "КОНЕЧНЫЕ АВТОМАТЫ"

Отображение 61 - 80 из 119 для поиска: '"КОНЕЧНЫЕ АВТОМАТЫ"', время запроса: 0.54сек.

Результаты на странице

Сортировка

Выбрать все | снять выделение Выбранные записи:

61

Значок книги

Моделирование распределенных недетерминированных программных систем и их тестирование на основе автоматных мультиагентных вероятностных моделей: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Старолетов Сергей Михайлович. - Новосибирск, 2011. - 20 с.

Автор Старолетов, С. М.

Предмет: '; “...КОНЕЧНЫЕ АВТОМАТЫ...”
Авторефераты диссертаций

Добавить в Избранное

Сохранено в:

62

Значок книги

Тестирование объектно-ориентированного программного обеспечения на основе моделирования конечными автоматами: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.01 / Малинин Сергей Николаевич. - Нижний Новгород, 2010. - 20 с.

Автор Малинин, С. Н.

Предмет: '; “...КОНЕЧНЫЕ АВТОМАТЫ...”
Авторефераты диссертаций

Добавить в Избранное

Сохранено в:

63

Значок книги

Логические основы цифровых вычислительных машин: учебно-методическое пособие для студентов учреждений, обеспечивающих получение высшего образования по направлению специальности "Информационные системы и технологии (издательско-полиграфический комплекс)" / А. С. Кобайло, А. Т. Пешков. - Минск : БГТУ, 2010. - 93, [1] с. - (Учебники БГТУ)

Автор Кобайло, А. С. (1954—2018)

Предмет: '; “...КОНЕЧНЫЕ АВТОМАТЫ...”
Книги

Добавить в Избранное

Сохранено в:

64

Значок книги

Исследование вопросов автоматизации динамического анализа релейных устройств: автореферат диссертации на соискание ученой степени кандидата технических наук / Л. П. Матюшков. - Минск, 1966. - 21 с.

Автор Матюшков, Л. П.

Предмет: '; “...КОНЕЧНЫЕ АВТОМАТЫ...”

E-документ

Авторефераты диссертаций

Добавить в Избранное

Сохранено в:

65

Значок книги

Основы теории дискретных логических и вычислительных устройств: учебное пособие по направлению ВПО 010500 — "Прикладная математика и информатика" и 010400 — "Информационные технологии" / Л. А. Шоломов. - Изд. 3-е, исправленное. - Санкт-Петербург [и др.] : Лань, 2011. - 429 с. - (Учебники для вузов. Специальная литература)

Автор Шоломов, Л. А.

Предмет: '; “...КОНЕЧНЫЕ АВТОМАТЫ...”
Книги

Предварительный обзор

Предварительный обзор

Предварительный обзор

Добавить в Избранное

Сохранено в:

66

Значок книги

Распознавание эквивалентности процессов над средами взаимодействующих объектов: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 05.13.04 / Шукурян Арсен Самвелович. - Ереван, 2010. - 20 с.

Автор Шукурян, А. С.

Предмет: '; “...КОНЕЧНЫЕ АВТОМАТЫ...”
Авторефераты диссертаций

Добавить в Избранное

Сохранено в:

67

Значок книги

Дискретная математика: учебное пособие по направлению и специальности "Прикладная математика и информатика" / Ю. П. Шевелев. - Санкт-Петербург [и др.] : Лань, 2008. - 591 с. - (Учебники для вузов. Специальная литература)

Автор Шевелев, Ю. П.

Предмет: '; “...КОНЕЧНЫЕ АВТОМАТЫ...”
Книги

Предварительный обзор

Предварительный обзор

Предварительный обзор

Добавить в Избранное

Сохранено в:

68

Значок книги

Об автоматных функциях с магазинной памятью: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 01.01.09 Дискретная математика и математическая кибернетика / Иванов Илья Евгеньевич. - Москва, 2017. - 17 с., включая обложку

Автор Иванов, И. Е.

Предмет: '; “...КОНЕЧНЫЕ АВТОМАТЫ...”
Авторефераты диссертаций

Добавить в Избранное

Сохранено в:

69

Значок книги

Об автоматной модели преследования: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 01.01.09 / Волков Николай Юрьевич. - Москва, 2010. - 12 с.

Автор Волков, Н. Ю.

Предмет: '; “...КОНЕЧНЫЕ АВТОМАТЫ...”
Авторефераты диссертаций

Добавить в Избранное

Сохранено в:

70

Значок книги

Линейные автоматы над подкольцами рациональных чисел: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 01.01.09 Дискретная математика и математическая кибернетика / Ронжин Дмитрий Владимирович. - Москва, 2022. - 18 с.

Автор Ронжин, Д. В.

Предмет: '; “...КОНЕЧНЫЕ АВТОМАТЫ...”
Авторефераты диссертаций

Добавить в Избранное

Сохранено в:

71

Значок книги

Алгоритмические вопросы идентификации конечных автоматов по распределению выходных m-грамм: автореферат диссертации на соискание ученой степени доктора технических наук: специальность 05.13.19 Методы и системы защиты информации, информационная безопасность / Рожков Михаил Иванович. - Москва, 2011. - 30 с.

Автор Рожков, М. И.

Предмет: '; “...КОНЕЧНЫЕ АВТОМАТЫ...”
Авторефераты диссертаций

Добавить в Избранное

Сохранено в:

72

Значок книги

Генерация конечных автоматов с использованием программных средств решения задач выполнимости и удовлетворения ограничений: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Ульянцев Владимир Игоревич. - Санкт-Петербург, 2015. - 15 с.

Автор Ульянцев, В. И.

Предмет: '; “...КОНЕЧНЫЕ АВТОМАТЫ...”
Авторефераты диссертаций

Добавить в Избранное

Сохранено в:

73

Значок книги

Генерация конечных автоматов на основе муравьиных алгоритмов: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Чивилихин Даниил Сергеевич. - Санкт-Петербург, 2015. - 15, [1] с.

Автор Чивилихин, Д. С.

Предмет: '; “...КОНЕЧНЫЕ АВТОМАТЫ...”
Авторефераты диссертаций

Добавить в Избранное

Сохранено в:

74

Значок книги

Исследование и разработка конечно-автоматных методов синтеза проверяющих тестов для управляющих систем: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.01 / Дорофеева Маргарита Юрьевна. - Томск, 2007. - 18 с.

Автор Дорофеева, М. Ю.

Предмет: '; “...КОНЕЧНЫЕ АВТОМАТЫ...”
Авторефераты диссертаций

Добавить в Избранное

Сохранено в:

75

Значок книги

Теория алгоритмов и конечных автоматов: практическое руководство для студентов специальности 1-31 03 01 "Математика" / Д. А. Ходанович, В. Н. Семенчук. - Гомель : ГГУ, 2011. - 39 с.

Автор Ходанович, Д. А. (род. 1982)

Предмет: '; “...КОНЕЧНЫЕ АВТОМАТЫ...”
Книги

Предварительный обзор

Предварительный обзор

Предварительный обзор

Добавить в Избранное

Сохранено в:

76

Значок книги

Аналитические методы в теории дискретных динамических систем: Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук: 01.01.09 / Сперанский Игорь Дмитриевич. - Саратов, 2002. - 19 с.

Автор Сперанский, И. Д.

Предмет: '; “...КОНЕЧНЫЕ АВТОМАТЫ...”
Авторефераты диссертаций

Добавить в Избранное

Сохранено в:

77

Значок книги

Введение в мехатронику: учебное пособие для студентов учреждений высшего образования по техническим специальностям / А. В. Чигарев, К. Циммерман, В. А. Чигарев. - Минск : БНТУ, 2013. - 387, [1] с.

Автор Чигарев, А. В. (род. 1941)

Предмет: '; “...КОНЕЧНЫЕ АВТОМАТЫ...”
Книги

Предварительный обзор

Предварительный обзор

Предварительный обзор

Добавить в Избранное

Сохранено в:

78

Значок книги

Автоматный алгоритм адаптивного управления нестационарными объектами / М. Е. Ярошевич. - Минск : ИТК, 1988. - 16, [1] с. - (Препринт ; № 20)

Автор Ярошевич, М. Е.

Предмет: '; “...КОНЕЧНЫЕ АВТОМАТЫ...”
Книги

Добавить в Избранное

Сохранено в:

79

Значок книги

Использование метода конечных автоматов для разработки программного обеспечения автоматизации экспериментов в области физики низких энергий: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 05.13.11 / Мазный Никита Геннадиевич. - Дубна, 2009. - 23 с.

Автор Мазный, Н. Г.

Предмет: '; “...КОНЕЧНЫЕ АВТОМАТЫ...”
Авторефераты диссертаций

Добавить в Избранное

Сохранено в:

80

Значок книги

Синтез тестов для проверки взаимодействия дискретных управляющих систем методами теории автоматов: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.01 / Спицына Наталия Владимировна. - Томск, 2005. - 22 с.

Автор Спицына, Н. В.

Предмет: '; “...КОНЕЧНЫЕ АВТОМАТЫ...”
Авторефераты диссертаций

Добавить в Избранное

Сохранено в:

Выбрать все | снять выделение Выбранные записи:

[1]
« Пред.
1
2
3
4
5
6
Следующий »
[6]

Инструменты поиска: RSS-поток — Отправить результаты поиска по Email — Сохранить запрос

Уточнение результатов поиска

Белорусский национальный документ

Вид документа

84 Авторефераты диссертаций 34 Книги 1 Продолжающиеся издания см. все ...

Автор/Создатель

3 Мельникова, А. А. 2 Баумгертнер, С. В. 2 Блох, А. Ш. 2 Зузанова, М. Р. 2 Кушик, Н. Г. 1 Авдошин, С. М. больше ... 1 Алексеев, В. Б. (род. 1948) 1 Андреев, Д. В. 1 Апраксин, Ю. К. 1 Баев, В. В. 1 Баженова, Г. А. 1 Батраева, И. А. (род. 1970) 1 Белоусов, А. И. 1 Берлинков, М. В. 1 Бром, Е. Л. 1 Винокуров, Н. С. 1 Волков, Н. Ю. 1 Гаврюшкина, А. А. 1 Гайнутдинова, А. Ф. 1 Гао, Ч. 1 Горская, Е. А. 1 Григоренко, О. В. 1 Громов, М. Л. 1 Гусев, В. В. 1 Дергач, П. С. 1 Динь Туан Лонг 1 Дорофеева, М. Ю. 1 Еременко, Д. А. 1 Закс, Ю. И. 1 Захаров, В. М. см. все ... меньше ...

Предмет

116 КОНЕЧНЫЕ АВТОМАТЫ 38 АВТОМАТОВ ТЕОРИЯ 33 КАНЕЧНЫЯ АЎТАМАТЫ 23 МАТЕМАТИЧЕСКАЯ КИБЕРНЕТИКА 18 ДИСКРЕТНАЯ МАТЕМАТИКА 14 ФОРМАЛИЗОВАННЫЕ ЯЗЫКИ больше ... 12 МАТЭМАТЫЧНАЯ КІБЕРНЕТЫКА 11 АЎТАМАТАЎ ТЭОРЫЯ 11 МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ 10 АЛГОРИТМОВ ТЕОРИЯ 9 НЕДЕТЕРМИНИРОВАННЫЕ КОНЕЧНЫЕ АВТОМАТЫ 9 СИНТЕЗ АВТОМАТОВ 9 УПРАВЛЯЮЩИЕ СИСТЕМЫ 7 ЛОГИЧЕСКИЕ ФУНКЦИИ 6 РЕГУЛЯРНЫЕ ЯЗЫКИ 6 ТЬЮРИНГА МАШИНЫ 6 ЯЗЫКИ ПРОГРАММИРОВАНИЯ 5 БУЛЕВА АЛГЕБРА 5 ГРАФОВ ТЕОРИЯ 5 ТРАНСЛЯЦИЯ (программирование) 4 АЛГОРИТМЫ РАСПОЗНАВАНИЯ 4 ДИСКРЕТНЫЕ СИСТЕМЫ УПРАВЛЕНИЯ 4 ДИСКРЕТНЫЕ УСТРОЙСТВА 4 КІРУЮЧЫЯ СІСТЭМЫ 4 КОДИРОВАНИЯ ТЕОРИЯ 4 ЛОГИЧЕСКИЕ ЭЛЕМЕНТЫ (вычисл. техника) 4 МАТЕМАТИЧЕСКАЯ ЛОГИКА 4 МАТЭМАТЫЧНАЕ МАДЭЛЯВАННЕ 4 ПЕТРИ СЕТИ 4 ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ см. все ... меньше ...

Жанр

6 УЧЕБНОЕ ПОСОБИЕ ДЛЯ ВУЗОВ 3 УЧЕБНО-МЕТОДИЧЕСКОЕ ПОСОБИЕ ДЛЯ СТУДЕНТОВ ВУЗОВ 2 УЧЕБНИК ДЛЯ ВУЗОВ 1 ЗАДАЧНИК С РЕШЕНИЯМИ 1 КУРС ЛЕКЦИЙ 1 ЛАБОРАТОРНАЯ РАБОТА больше ... 1 МЕТОДИЧЕСКИЕ УКАЗАНИЯ 1 МЕТОДИЧЕСКОЕ ПОСОБИЕ 1 ПРАКТИКУМ ДЛЯ ВУЗОВ 1 УЧЕБНО-МЕТОДИЧЕСКОЕ ПОСОБИЕ ДЛЯ ВУЗОВ 1 УЧЕБНО-ПРАКТИЧЕСКОЕ ПОСОБИЕ см. все ... меньше ...

Серия

3 Препринт 2 Учебники БГТУ 2 Учебники для вузов. Специальная литература 1 Высшее образование ― бакалавриат 1 Математика в техническом университете 1 Материалы по математическому обеспечению ЭВМ больше ... 1 Науки об искусственном 1 Научная книга 1 Секреты мастерства 1 Среднее профессиональное образование 1 Учебная литература для вузов 1 Учебник для ВУЗОВ см. все ... меньше ...

Место публикации

26 Москва 12 Минск 10 Саратов 10 Томск 6 Казань 6 М. больше ... 6 Санкт-Петербург 5 Екатеринбург 5 Новосибирск 5 Тольятти 3 Ереван 3 Омск 2 Дубна 2 Мн 2 Санкт-Петербург [и др.] 2 Таганрог 2 Ульяновск 1 Витебск 1 Воронеж 1 Гомель 1 М. и др 1 Нижний Новгород 1 Рига 1 Челябинск 1 Ярославль см. все ... меньше ...

Язык

118 Русский 3 Армянский 3 Английский 1 Абхазский см. все ...

Дата издания

от:

по:

Опции поиска

История поисков
Расширенный поиск (каталог НББ)
Новые документы НББ

Нужна справка? Она ниже. Помощь

Советы для поиска
Обратитесь к библиотекарю
Помощь по работе в Электронном каталоге
Видеоурок: Поиск по фондам библиотеки

Загрузка...