Рекуррентный синтез тестов проверки комбинационных автоматов: [монография]
| Autor principal: | Скляревич А. Н. Акива Нухимович |
|---|---|
| Autor Corporativo: | Академия наук Латвийской ССР (АН ЛатССР) Институт электроники и вычислительной техники (ИЭиВТ) |
| Idioma: | russo |
| Publicado em: |
Рига, Зинатне, 1981
|
| Assuntos: | |
| Formato: | Livro |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=310436 |
Registros relacionados
Динамические процессы в цифровых устройствах автоматики: учебное пособие
por: Левин В. И. Виталий Ильич
Publicado em: (Пенза, [Б. и.], 1978)
por: Левин В. И. Виталий Ильич
Publicado em: (Пенза, [Б. и.], 1978)
Основы логических методов проверки автоматов: [монография]
por: Скляревич А. Н. Акива Нухимович
Publicado em: (Рига, Зинатне, 1979)
por: Скляревич А. Н. Акива Нухимович
Publicado em: (Рига, Зинатне, 1979)
Кн. 6 : Методы синтеза дискретных моделей биологических систем; Методы математической биологии
Publicado em: (1983)
Publicado em: (1983)
Использование свойств мутационных автоматов для минимизации проверяющих тестов; Программирование; Т. 38, № 4
por: Эль-Факи К.
Publicado em: (2012)
por: Эль-Факи К.
Publicado em: (2012)
Синтез управляющих автоматов
por: Лазарев В. Г. Владимир Георгиевич
Publicado em: (Москва, Энергия, 1970)
por: Лазарев В. Г. Владимир Георгиевич
Publicado em: (Москва, Энергия, 1970)
Алгоритмы синтеза дискретных автоматов
por: Закревский А. Д. Аркадий Дмитриевич
Publicado em: (Москва, Физико-математическая лит-ра, 1971)
por: Закревский А. Д. Аркадий Дмитриевич
Publicado em: (Москва, Физико-математическая лит-ра, 1971)
Синтез самопроверяемых синхронных цифровых автоматов; Молодежь и современные информационные технологии
por: Ладыженский С. О.
Publicado em: (2005)
por: Ладыженский С. О.
Publicado em: (2005)
Разработка темы «Надежность систем» в активных методах электронное методическое пособие
por: Грудзинская Е. Ю.
Publicado em: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2011)
por: Грудзинская Е. Ю.
Publicado em: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2011)
Проектная оценка надежности информационных систем учебно-методическое пособие по курсовому проектированию
por: Губин А. Н.
Publicado em: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2021)
por: Губин А. Н.
Publicado em: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2021)
Логическое проектирование дискретных автоматов: языки, методы, алгоритмы
por: Гаврилов М. А. Михаил Александрович
Publicado em: (Москва, Наука, 1977)
por: Гаврилов М. А. Михаил Александрович
Publicado em: (Москва, Наука, 1977)
Электрические цепи переменного тока методические указания к лабораторным работам по дисциплине «электротехника и электроника» для студентов направления подготовки 13.03.01 «теплоэнергетика и теплотехника» и других специальностей
por: Скорняков В. А.
Publicado em: (Санкт-Петербург, СПбГЛТУ, 2018)
por: Скорняков В. А.
Publicado em: (Санкт-Петербург, СПбГЛТУ, 2018)
Теоретические основы электротехники. Часть 1 практикум для студентов, обучающихся по направлению подготовки 35.03.06 Агроинженерия, профиль Электрооборудование и электротехнологии, и направлению подготовки 13.03.02 Электроэнергетика и электротехника, профиль Электроснабжение очной и заочной форм обучения
por: Мелешко М. И.
Publicado em: (пос. Караваево, КГСХА, 2018)
por: Мелешко М. И.
Publicado em: (пос. Караваево, КГСХА, 2018)
Теоретические основы электротехники. Лабораторный практикум. Часть 1
por: Шахсинов Г. Ш.
Publicado em: (Махачкала, ДГУ, 2018)
por: Шахсинов Г. Ш.
Publicado em: (Махачкала, ДГУ, 2018)
Лабораторные работы по метрологии учебно-методическое пособие для вузов
por: Бородина Е. А.
Publicado em: (Санкт-Петербург, Лань, 2026)
por: Бородина Е. А.
Publicado em: (Санкт-Петербург, Лань, 2026)
Вып. 48: Автоматизация синтеза дискретных автоматов; Труды Сибирского физико-технического института
Publicado em: (1966)
Publicado em: (1966)
Оценка показателей надежности технических систем учебно-методическое пособие
por: Тараканов Д. В.
Publicado em: (Сургут, СурГУ, 2024)
por: Тараканов Д. В.
Publicado em: (Сургут, СурГУ, 2024)
Расчет показателей надёжности сложных систем Учебное пособие для студентов специальности «Подвижной состав железных дорог»
por: Воробьёв А. А.
Publicado em: (Москва, РУТ (МИИТ), 2020)
por: Воробьёв А. А.
Publicado em: (Москва, РУТ (МИИТ), 2020)
Электротехника и электроника лабораторный практикум
por: Дудченко О. Л.
Publicado em: (Москва, МИСИС, 2019)
por: Дудченко О. Л.
Publicado em: (Москва, МИСИС, 2019)
Zeitverhalten synchroner Schaltwerke
por: Leilich H.-O. Hans-Otto
Publicado em: (Berlin, Springer-Verlag, 1990)
por: Leilich H.-O. Hans-Otto
Publicado em: (Berlin, Springer-Verlag, 1990)
Электротехника и электроника учебное пособие для выполнения лабораторных работ
por: Мармус Т. Н.
Publicado em: (Благовещенск, ДальГАУ, 2012)
por: Мармус Т. Н.
Publicado em: (Благовещенск, ДальГАУ, 2012)
Переходное излучение на двух последовательно расположенных решетках; Журнал экспериментальной и теоретической физики; Т. 125, вып. 6
por: Болотовский Б. М.
Publicado em: (2004)
por: Болотовский Б. М.
Publicado em: (2004)
Исследование работы насосных установок практикум
por: Вязьмин А. В.
Publicado em: (Москва, РТУ МИРЭА, 2021)
por: Вязьмин А. В.
Publicado em: (Москва, РТУ МИРЭА, 2021)
Электрическая цепь переменного тока методические указания
por: Артемьева А. Н.
Publicado em: (Новосибирск, СГУГиТ, 2024)
por: Артемьева А. Н.
Publicado em: (Новосибирск, СГУГиТ, 2024)
Декомпозиция конечных автоматов
por: Агибалов Г. П. Геннадий Петрович
Publicado em: (Томск, Изд-во Томского ун-та, 1985)
por: Агибалов Г. П. Геннадий Петрович
Publicado em: (Томск, Изд-во Томского ун-та, 1985)
Синтез избыточных дискретных устройств с реконфигурацией структуры
por: Обухов В. Е. Вадим Евгеньевич
Publicado em: (Киев, Наукова думка, 1979)
por: Обухов В. Е. Вадим Евгеньевич
Publicado em: (Киев, Наукова думка, 1979)
Системный анализ и принятие решений по повышению надежности систем электроснабжения учебное пособие
por: Степкина Ю. В.
Publicado em: (Тольятти, ТГУ, 2011)
por: Степкина Ю. В.
Publicado em: (Тольятти, ТГУ, 2011)
Контроль и преобразования дискретных автоматов
por: Богомолов А. М. Анатолий Михайлович
Publicado em: (Киев, Наукова думка, 1975)
por: Богомолов А. М. Анатолий Михайлович
Publicado em: (Киев, Наукова думка, 1975)
Электротехника. Линейные электрические цепи учебное пособие для бакалавров и магистров сельскохозяйственных направлений
por: Чернусь Р. С.
Publicado em: (Барнаул, АГАУ, 2018)
por: Чернусь Р. С.
Publicado em: (Барнаул, АГАУ, 2018)
Введение в теорию конечных автоматов
por: Кобринский Н. Е. Натан Ефимович
Publicado em: (Москва, Физматгиз, 1962)
por: Кобринский Н. Е. Натан Ефимович
Publicado em: (Москва, Физматгиз, 1962)
Абстрактная и структурная теория релейных устройств
Publicado em: (Москва, Наука, 1982)
Publicado em: (Москва, Наука, 1982)
Электротехника и электроника. Часть 1 учебно-методическое пособие для студентов всех специальностей, изучающих дисциплины «Электротехника и электроника» и «Теоретические основы электротехники» очного и заочного обучения
por: Петровых Л. В.
Publicado em: (Екатеринбург, УГГУ, 2022)
por: Петровых Л. В.
Publicado em: (Екатеринбург, УГГУ, 2022)
Абстрактная и стркутурная теория релейных устройств. Автоматизация логического синтеза: сборник статей
Publicado em: (Москва, Наука, 1975)
Publicado em: (Москва, Наука, 1975)
Т. 1; Справочник по радиоэлектронным системам
Publicado em: (1979)
Publicado em: (1979)
Синтез дискретных автоматов с памятью для управления коммутационной системой: учебное пособие
por: Ершова Э. Б. Элеонора Борисовна
Publicado em: (Москва, Редакционно-издательский отдел ВЗЭИС, 1978)
por: Ершова Э. Б. Элеонора Борисовна
Publicado em: (Москва, Редакционно-издательский отдел ВЗЭИС, 1978)
Основы преобразовательной техники: учебное пособие
por: Буркин Е. Ю. Евгений Юрьевич
Publicado em: (Томск, Изд-во ТПУ, 2005)
por: Буркин Е. Ю. Евгений Юрьевич
Publicado em: (Томск, Изд-во ТПУ, 2005)
Теоретические основы электротехники (ТОЭ) учебно-методическое пособие для лабораторных работ для бакалавров очной и заочной формы обучения, направление подготовки 13.03.02 – электроэнергетика и электротехника
por: Широбокова О. Е.
Publicado em: (Брянск, Брянский ГАУ, 2019)
por: Широбокова О. Е.
Publicado em: (Брянск, Брянский ГАУ, 2019)
Синтез цифровых управляющих автоматов учебное пособие для вузов
por: Крушный В. В.
Publicado em: (Москва, НИЯУ МИФИ, 2011)
por: Крушный В. В.
Publicado em: (Москва, НИЯУ МИФИ, 2011)
Теория автоматов: учебно-методическое пособие
por: Буркатовская Ю. Б. Юлия Борисовна
Publicado em: (Томск, Изд-во ТПУ, 2010)
por: Буркатовская Ю. Б. Юлия Борисовна
Publicado em: (Томск, Изд-во ТПУ, 2010)
Дискретные автоматы с обнаружением отказов
por: Сапожников В. В. Валерий Владимирович
Publicado em: (Ленинград, Энергоатомиздат, 1984)
por: Сапожников В. В. Валерий Владимирович
Publicado em: (Ленинград, Энергоатомиздат, 1984)
Теоретические основы электротехники. Лабораторный практикум. Ч. 1 Для бакалавров направления подготовки: 13.03.02 – Электроэнергетика и электротехника 15.03.04 –Автоматизация технологических процессов и производств
por: Широбокова О. Е.
Publicado em: (Брянск, Брянский ГАУ, 2022)
por: Широбокова О. Е.
Publicado em: (Брянск, Брянский ГАУ, 2022)
Registros relacionados
-
Динамические процессы в цифровых устройствах автоматики: учебное пособие
por: Левин В. И. Виталий Ильич
Publicado em: (Пенза, [Б. и.], 1978) -
Основы логических методов проверки автоматов: [монография]
por: Скляревич А. Н. Акива Нухимович
Publicado em: (Рига, Зинатне, 1979) -
Кн. 6 : Методы синтеза дискретных моделей биологических систем; Методы математической биологии
Publicado em: (1983) -
Использование свойств мутационных автоматов для минимизации проверяющих тестов; Программирование; Т. 38, № 4
por: Эль-Факи К.
Publicado em: (2012) -
Синтез управляющих автоматов
por: Лазарев В. Г. Владимир Георгиевич
Publicado em: (Москва, Энергия, 1970)