Поисковый запрос: (<.>K=теория автоматов<.>) |
Общее количество найденных документов : 28
Показаны документы с 1 по 20 |
|
1.
| Энциклопедия кибернетики [] / Академия наук Украинской ССР (Киев). Т. 1 : Абс-Мир
, 1975. - 608 с (
1 экз. )
|
2.
| Теория и средства автоматики. - М. : Наука
, 1968. - 432 с (
1 экз. )
|
3.
| Жигулин, Максим Владимирович. Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов : автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01. - Томск : Позитив-НБ
, 2012. - 19 с. (
1 экз. )
|
4.
| Галушкина, Юлия Ивановна. Конспект лекций по дискретной математике. С упражнениями и контрольными работами : курс лекций. - М. : Айрис-Пресс
, 2008. - 176 с. (
1 экз. )
|
5.
| Горбатов, Вячеслав Афанасьевич. Семантическая теория проектирования автоматов : научное издание. - М. : Энергия
, 1979. - 264 с. (
2 экз. )
|
6.
| Барашко, Анатолий Сергеевич. Исследование по теории сложности вычислений и формальным языкам : научное издание. - Киев : Наукова думка
, 1978. - 172 с (
1 экз. )
|
7.
| Баранов, Самарий Иосифович. Автоматы и программируемые матрицы : научное издание. - Минск : Вышэйшая школа
, 1980. - 136 с (
экз. )
|
8.
| Ачасова, Светлана Михайловна. Алгоритмы синтеза автоматов на программируемых матрицах : научное издание. - М. : Радио и связь
, 1987. - 136 с (
3 экз. )
|
9.
| Алгоритмы и автоматы : сборник статей. - Казань : Издательство Казанского университета
, 1978. - 109 с (
1 экз. )
|
10.
| Кибернетический сборник. Новая серия : сборник переводов. Вып. 6. - М. : Мир
, 1969. - 264 с. (
1 экз. )
|
11.
| Кибернетический сборник. Новая серия : сборник переводов. Вып. 11. - М. : Мир
, 1974. - 200 с. (
1 экз. )
|
12.
| Калман Р. Очерки по математической теории систем : научное издание. - М. : Мир
, 1971. - 400 с. (
1 экз. )
|
13.
| Девятков, Владимир Валентинович. Методы реализации конечных автоматов на сдвиговых регистрах : . - М. : Энергия
, 1974. - 80 с. (
1 экз. )
|
14.
| Гурвиц, Евгений Александрович. Синтез полисинхронных дискретных устройств : . - М. : Связь
, 1969. - 175 с. (
1 экз. )
|
15.
| Глушков, Виктор Михайлович. Что такое кибернетика : . - М. : Педагогика
, 1975. - 64 с. (
1 экз. )
|
16.
| Петрова, Елена Владиленовна. Математическое моделирование защищенных информационных систем органов внутренних дел на основе использования методов теории автоматов : автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.18, 05.13.19. - Воронеж
, 2010. - 15, [1] с. (
1 экз. )
|
17.
| Коломеец, Антон Владимирович. Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов : Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01. - Томск
, 2010. - 18 с. (
1 экз. )
|
18.
| Галушкина, Юлия Ивановна. Конспект лекций по дискретной математике. С упражнениями и контрольными работами : . - М. : Айрис-Пресс
, 2007. - 173[3] с. (
2 экз. )
|
19.
| Лекции по дискретной математике : Учебное пособие для вузов. - СПб. : БХВ-Петербург
, 2004. - 614 с. (
1 экз. )
|
20.
| Лазарев, Владимир Георгиевич. Синтез управляющих автоматов : производственно-практическое издание. - М. : Энергоатомиздат
, 1989. - 327[1] с. (
7 экз. )
|
|
|
|
Основная база библиотеки
Стандартный