Информатика, вычислительная техника и управление. Диссертация Алгоритмы формализации и автоматизации решения задач на основе среды компьютерного моделирования задач : диссертация ... кандидата технических наук : 05.13.06, Томск, 2007