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