Preview

Информатика

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

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


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

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