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

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

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)

Т. 1
Published: (1986)

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

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

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

Оценка полноты проверки при пассивном тестировании на основе автоматной модели
by: Жигулин М. В.
Published: (2009)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Вып. 17
Published: (1980)

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

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

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

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

Т. 3
Published: (2014)

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

Введение в статистическую динамику систем с возможными нарушениями
by: Скляревич А. Н. Акива Нухимович
Published: (Рига, Зинатне, 1973)

Вычисления и автоматы
by: Минский М. Марвин
Published: (Москва, Мир, 1971)

Математика метаматематики пер. с англ.
by: Расева Е. Елена
Published: (Москва, Наука, 1972)

Digital electronics. An introduction to theory and practice
by: Gothmann W. H. William H.
Published: (London, Prentice-Hall International, 1982)

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