Ինֆորմատիկա
Посттопологическое автоматизированное логическое моделирование цифровых больших интегральных схем
