Материалов:
1 081 645

Репозиториев:
30

Авторов:
761 409

По вашему запросу найдено документов: 21819

Страница 5 из 2182

Минимизация частично определенных булевых функций, представленных BDD-графами
Останин, Сергей Александрович, Кириенко, Ирина Евгеньевна
Поиск всех тестовых наборов для неисправности логической схемы и представление их ROBDD-графом
Останин, Сергей Александрович, Бухаров, Александр Вениаминович, Кириенко, Ирина Евгеньевна, Матросова, Анжела Юрьевна
Пакеты прикладных программ : рабочая программа дисциплины : направление подготовки 010400 - прикладная математика и информатика : квалификация выпускника - бакалавр : форма обучения - очная
Останин, Сергей Александрович
Построение аппроксимирующих схем для синхронных автоматов в рамках технологии троирования
Останин, Сергей Александрович, Матросова, Анжела Юрьевна, Андреева, Валентина Валерьевна
Семантическая эволюция слова: (на материале глагола гореть и его дериватов): автореферат диссертации на соискание ученой степени кандидата филологических наук: специальность 10.02.01 - русский язык
Останин Е. В. (Евгений Валерьевич)
"Гита" в традиции гаудия (сумма методологий)
Останин, Вадим Владимирович
Управление социально-психологическими рисками в образовательной среде
Останин, Д. И., Третьякова, В. С., Ostanin, D. I., Tretyakova, V. S.
Поиск ложных путей в логических схемах из двухвходовых вентилей с использованием операций над ROBDD-графами
Матросова, Анжела Юрьевна, Останин, Сергей Александрович, Чернышов, Семен Владимирович
Обнаружение несущественных путей логических схем на основе совместного анализа и-или деревьев и SSBDD-графов
Матросова, Анжела Юрьевна, Останин, Сергей Александрович, Сингх, В.
Использование пакета CUDD 3.0 для построения всех тестовых наборов для неисправности логической схемы в виде ROBDD-графа
Третьяков, Дмитрий Александрович, Останин, Сергей Александрович

Страница 5 из 2182

Фасеты

Партнеры

КФУ
ТГУ
Elpub
СФУ
Webpublishers

Индексация

BASE
WorldCat
OpenAIRE
EDS
core