TY - BOOK AU - Бадалян,Гарик Арамович TI - Разработка методов определения нескольких инвариантов неавтономных систем и автоматизации вычислительных процедур: Автореф. дис. ... канд. техн. наук : 05.13.02 PY - 2006/// CY - Ереван KW - Системы автоматизации KW - Неавтономные системы KW - Математическое программирование KW - Thesis N1 - МОН РА, ГИУА; Науч. рук. А.Г. Аветисян ER -