Новый подход к решению проблемы достижимости : на пути к методологии анализа временно-критических систем.Гудак, Штофан, 1997, докторская диссертация01.05.01Киев34 стр.Другие работы по этой специальностиАвторефератНадкритерии паретовской свертки в многокритериальной оптимизацииЧервак, Олеся Юрьевна · 1998 · Канд. наук01.05.01АвторефератЛексикографическая оптимизация в целочисленном программировании (поиск в области лексикографических мажорант, локальное управление алгоритмами)Чупов, Сергей Викторович · 1997 · Канд. наук01.05.01АвторефератАлгоритм модифицированного ортогонального спускаи моделирование грузообеспечения трубопроводовШубенкова, Ирина Анатольевна · 1995 · Канд. наук01.05.01