Preview

Информатика

Расширенный поиск

Информация о разделе


АВТОМАТИЗАЦИЯ ЛОГИЧЕСКОГО ПРОЕКТИРОВАНИЯ

 
Выпуск Название
 
Том 17, № 1 (2020) Выделение подсистем связанных функций из многоуровневого представления системы булевых функций Аннотация   PDF (Rus)
П. Н. Бибило, А. М. Позняк
 
Том 17, № 1 (2020) Формирование адресных последовательностей с заданной переключательной активностью Аннотация   PDF (Rus)
В. Н. Ярмолик, Н. А. Шевченко
 
№ 1(01) (2004) МИНИМИЗАЦИЯ ПЛОЩАДИ РЕГУЛЯРНЫХ МАТРИЧНЫХ СТРУКТУР ЗАКАЗНЫХ СБИС МЕТОДОМ СВЕРТКИ Аннотация   PDF (Rus)
Л. Д. Черемисинова
 
№ 1(01) (2004) ОБ ИНТЕРПРЕТАЦИИ ВРЕМЕННОЙ ЛОГИКИ ПРИ СИМВОЛИЧЕСКОЙ ВЕРИФИКАЦИИ Аннотация   PDF (Rus)
Д. И. Черемисинов
 
№ 1(01) (2004) О ТАБЛИЧНОМ ЗАДАНИИ СИСТЕМ ПОЛНОСТЬЮ ОПРЕДЕЛЕННЫХ БУЛЕВЫХ ФУНКЦИЙ Аннотация   PDF (Rus)
Ю. В. Поттосин, Е. А. Шестаков
 
1 - 5 из 5 результатов