Пошук академічних текстів

Кривой С.Л.. Итеративные методы анализа процедурных программ : д.ф.-м.н. : спец.. 01.05.01 - Теоретичні основи інформатики та кібернетики : дата захисту 1997-12-26; Статус: Захищена; Институт программных систем НАН Украины. – , 0598U000009.

Крылов Евгений Владимирович. Аналитические методы и способы повышения эффективности разработки и функционирования специального программного обеспечения систем контроля : к.т.н. : спец.. 05.13.09 - Медична та біологічна інформатика і кібернетика : дата захисту 1995-10-16; Статус: Захищена; Украинский транспортный университет. – , 0495U001143.