Упрощение ROBDD-графов в задачах поиска установочной последовательности: выпускная бакалаврская работа по направлению подготовки: 01.03.02 - Прикладная математика и информатика

Связанные документы (рекомендация CORE)