Основы логических методов проверки автоматов: [монография]

Основы логических методов проверки автоматов: [монография]

Bibliographic Details
Main Author:	Скляревич А. Н. Акива Нухимович
Corporate Author:	Академия наук Латвийской ССР (АН ЛатССР) Институт электроники и вычислительной техники (ИЭиВТ)
Language:	Russian
Published:	Рига, Зинатне, 1979
Subjects:	Цифровые автоматы > Контроль нарушения описания входные данные набор характеристики тесты проверки память элементы работоспособность техническое состояние устройство синтез булевы алгебры избыточность монографии
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=339754

Similar Items

Структурная теория аппаратного контроля цифровых автоматов
by: Щербаков Н. С. Николай Сергеевич
Published: (Москва, Машиностроение, 1982)

Рекуррентный синтез тестов проверки комбинационных автоматов: [монография]
by: Скляревич А. Н. Акива Нухимович
Published: (Рига, Зинатне, 1981)

Математика для радиоинженеров. Теория дискретных структур: пер. с яп.
by: Фудзисава Т. Тосио
Published: (Москва, Радио и связь, 1984)

Диагностика программируемых логических матриц
by: Бутаков Е. А. Евгений Артемович
Published: (Москва, Радио и связь, 1991)

Т. 1; Компьютеры
Published: (1986)

Прикладная теория цифровых автоматов: учебник для вузов
Published: (Киев, Вища школа, 1987)

Теория автоматов: учебник для вузов
by: Карпов Ю. Г. Юрий Глебович
Published: (СПб., Питер, 2002)

Теория конечных и вероятностных автоматов: [сборник трудов]
Published: (Москва, Наука, 1965)

Анализ логических сетей и техника булевых вычислений
by: Уткин А. А. Анатолий Александрович
Published: (Минск, Наука и техника, 1979)

Теория самовоспроизводящихся автоматов: пер. с англ.
by: Нейман Д. фон Джон фон
Published: (Москва, Мир, 1971)

Булевы алгебры
by: Владимиров Д. А. Денис Артемьевич
Published: (Москва, Наука, 1969)

Оценка полноты проверки при пассивном тестировании на основе автоматной модели; Известия Томского политехнического университета [Известия ТПУ]; Т. 314, № 5: Управление, вычислительная техника и информатика
by: Жигулин М. В.
Published: (2009)

Булевы алгебры и булевы функции. Дополнительные главы дискретной математики учебное пособие
by: Пинус А. Г.
Published: (Новосибирск, НГТУ, 2022)

Дискретная математика: учебное пособие для вузов
by: Шевелев Ю. П. Юрий Павлович
Published: (Санкт-Петербург, Лань, 2016)

Проектирование цифровых логических устройств: пер. с англ.
by: Голдсуорт Б. Брайен
Published: (Москва, Машиностроение, 1985)

Элементы теории структур
by: Скорняков Л. А. Лев Анатольевич
Published: (Москва, Наука, 1970)

Булева структура и ее модели
by: Яглом И. М. Исаак Моисеевич
Published: (Москва, Советское радио, 1980)

Булева алгебра и конечные автоматы: пер. с франц.
Published: (Москва, Мир, 1969)

Высшая математика 5. Дискретная математика: учебное пособие; Ч. 1; Теория множеств. Булева алгебра (для автоматизированной технологии обучения)
by: Шевелев Ю. П. Юрий Павлович
Published: (Томск, 1998)

Мажорируемые операторы
by: Кусраев А. Г. Анатолий Георгиевич
Published: (Москва, Наука, 2003)

Использование свойств мутационных автоматов для минимизации проверяющих тестов; Программирование; Т. 38, № 4
by: Эль-Факи К.
Published: (2012)

Дискретные функции. Дополнительные главы дискретной математики учеб. пособие
by: Пинус А. Г.
Published: (Новосибирск, НГТУ, 2016)

Система автоматизированной калибровки и проверки устройства мониторинга и защиты асинхронного электродвигателя; Молодежь и современные информационные технологии
by: Рыбак А. Д.
Published: (2019)

Множества. Логика. Аксиоматические теории: пер. с англ.
by: Столл Р. Р. Роберт Р.
Published: (Москва, Просвещение, 1968)

Современная прикладная алгебра: пер. с англ.
by: Биркгоф Г.
Published: (Москва, Мир, 1976)

Практическое пособие по цифровой схемотехнике: учебное пособие для средних специальных учебных заведений
by: Медведев Б. Л. Борис Львович
Published: (Москва, Мир, 2004)

Диагностирование логических схем. Алгоритмы моделирования и автоматического синтеза теста
by: Иоффе М. И. Михаил Израилевич
Published: (Москва, Наука, 1989)

Дискретная математика учебное пособие для вузов
by: Ананичев Д. С. Дмитрий Сергеевич
Published: (Москва, Юрайт, 2022)

Дискретная математика учебное пособие для вузов
by: Ананичев Д. С. Дмитрий Сергеевич
Published: (Москва, Юрайт, 2024)

Дискретная математика учебное пособие для вузов
by: Ананичев Д. С. Дмитрий Сергеевич
Published: (Москва, Юрайт, 2021)

Дискретная математика учебное пособие для вузов
by: Ананичев Д. С. Дмитрий Сергеевич
Published: (Москва, Юрайт, 2025)

Надежность и эффективность станков-автоматов: [сборник]
Published: (Москва, Изд-во МВТУ, 1980)

Введение в прикладную комбинаторику: пер. с фр.
by: Кофман А. Арнольд
Published: (Москва, Наука, 1975)

Современная прикладная алгебра: учебное пособие; пер. с англ.
by: Биркгоф Г. Гаррет
Published: (СПб. [и др.], Лань, 2005)

Дискретная математика для программистов: учебное пособие для вузов; пер. с англ.
by: Хаггарти Р.
Published: (Москва, Техносфера, 2003)

Теория автоматов в проектировании цифровых схем учебное пособие
by: Антик М. И.
Published: (Москва, РТУ МИРЭА, 2020)

Вып. 17; Вероятностные методы и кибернетика
Published: (1980)

Boolean calculus of differences
by: Thayse A. Andre
Published: (Berlin, Springer-Verlag, 1981)

Т. 3; Криптографические методы защиты информации
Published: (2014)

Введение в булевозначный анализ
by: Кусраев А. Г. Анатолий Георгиевич
Published: (Москва, Наука, 2005)