Семантическая теория проектирования автоматов: научное издание/

Семантическая теория проектирования автоматов: научное издание/

Bibliographic Details
Main Author:	Горбатов, В. А. Вячеслав Афанасьевич (Author)
Format:	Book
Published:	М.: Энергия 1979
Subjects:	ТЕОРИЯ АВТОМАТОВ
Online Access:	Перейти в каталог Библиотеки ТУСУР

Similar Items

Синтез управляющих автоматов: производственно-практическое издание/
by: Лазарев, В. Г. Владимир Георгиевич, et al.
Published: (1989)

Элементы алгебраической теории автоматов: учебное пособие для вузов/
by: Плоткин, Б. И. Борис Исакович, et al.
Published: (1994)

Последовательная декомпозиция конечных автоматов
by: Курмит, Август Августович
Published: (1982)

Введение в теорию автоматов
by: Кудрявцев, Валерий Борисович
Published: (1985)

Представления конечных автоматов фрагментами поведения: научное издание/
by: Грунский, И. С. Игорь Сергеевич, et al.
Published: (1990)

Алгоритмы синтеза автоматов на программируемых матрицах: научное издание/
by: Ачасова, С. М. Светлана Михайловна
Published: (1987)

Лекции по теории конечных автоматов учебное пособие
by: Агибалов, Геннадий Петрович 1939-2020
Published: (1984)

Введение в теорию конечных автоматов
by: Брауэр, Вильфрид
Published: (1987)

Популяционное моделирование коллективного поведения автоматов
by: Воробьев, В. А.

Синтез цифровых автоматов
by: Глушков, Виктор Михайлович 1923-1982
Published: (1962)

Элементы алгебраической теории автоматов учебное пособие для вузов
by: Плоткин, Б. И.
Published: (1994)

Теория автоматов: Учебник для вузов/
by: Карпов Юрий Глебович
Published: (2002)

Введение в теорию абстрактных автоматов [Учебное пособие для университетов по специальности "Математика"]
by: Кудрявцев, Валерий Борисович
Published: (1985)

Геометрические образы законов функционирования автоматов
by: Твердохлебов, Владимир Александрович
Published: (2008)

Введение в теорию конечных автоматов: Пер. с нем./
by: Брауэр, В. Вильфрид
Published: (1987)

Декомпозиция конечных автоматов
by: Агибалов, Геннадий Петрович 1939-2020
Published: (1985)

Кодирование состояний и надежность автоматов
by: Сагалович, Юрий Львович
Published: (1975)

Создание клеточных автоматов для приближенного вычисления элементаных функций
by: Титов, В. Г.

Методы реализации конечных автоматов на сдвиговых регистрах: /
by: Девятков, В. В. Владимир Валентинович
Published: (1974)

Метод клеточных автоматов на примере дифференциального уравнения второго порядка
by: Титов, В. Г.

Построение тестов для конечных автоматов относительно неразделимости
by: Шабалдина, Наталия Владимировна

Минимизация временных автоматов с таймаутами
by: Кондратьева, Ольга Викторовна

Теория автоматов электронный курс
by: Буркатовская, Ю. Б. математик доцент Томского политехнического университета, кандидат физико-математических наук 1973-
Published: (2019)

Теория автоматов учебно-методическое пособие
by: Буркатовская, Юлия Борисовна
Published: (2010)

О минимизации временных автоматов
by: Твардовский, Александр Сергеевич

К минимизации автоматов с таймаутами
by: Твардовский, Александр Сергеевич

Конференция по теории автоматов и искусственному мышлению, Ташкент, 27 мая - 31 мая 1968 г. аннотации докладов и программа
Published: (1968)

Мутационное тестирование систем, описанных в языке XML, с использованием древовидных автоматов
by: Форостьянова, Мария Сергеевна

Исследование по теории сложности вычислений и формальным языкам: научное издание/
by: Барашко, А. С. Анатолий Сергеевич, et al.
Published: (1978)

Динамика коллективов автоматов в среде
by: Курганский, Алексей Николаевич

Может ли машина мыслить? с приложением статьи Дж. фон Неймана "Общая и логическая теория автоматов"
by: Тьюринг, Алан Мэтисон 1912-1954
Published: (1960)

Основы дискретной математики: учебное пособие для вузов/
by: Горбатов, В. А. Вячеслав Афанасьевич
Published: (1986)

Теоретические основы метода подвижных клеточных автоматов учебно-методическое пособие
by: Смолин, Алексей Юрьевич
Published: (2007)

К построению параллельной композиции расширенных автоматов
by: Широкова, Екатерина Владимировна

Разработка методов синтеза проверяющих тестов для сетей из конечных автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01
by: Тренькаев, Вадим Николаевич
Published: (2000)

Использование конечно-автоматных абстракций при решении задач анализа и синтеза для временных автоматов
by: Твардовский, Александр Сергеевич

Ориентированные графы и конечные автоматы
by: Мелихов, Аскольд Николаевич
Published: (1971)

К верификации логических схем на основе временных автоматов
by: Кидярова, Галина Владимировна

Алгоритмы синтеза дискретных автоматов
by: Закревский, Аркадий Дмитриевич 1928-2014
Published: (1971)

Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов: автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01/
by: Жигулин, М. В. Максим Владимирович
Published: (2012)