Вы здесь

Провотар А. И.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ О паралогичности некоторых логических построений 2008 Василик П. В., Провотар А. И. Кибернетика и системный анализ 07.06.2008
СТ Аксиоматические модели и методы проектирования языковых трансляторов 2003 Парасюк И. Н., Провотар А. И., Кондратенко В. А. Проблемы программирования 26.11.2004
СТ К вопросу о семантике языков программирования 2002 Провотар А. И. Проблемы программирования 01.11.2002
СТ О применении категорных методов в Computer Science 2000 Сергиенко И. В., Парасюк И. Н., Провотар А. И. Кибернетика и системный анализ 20.10.2000
СТ Применение метода резолюций на семантических сетях 2000 Провотар А. И., Дубка Т. Н., Гошко Б. М. Проблемы программирования 14.06.2000
СТ Некоторые применения категорных методов в Computer Science 2000 Сергиенко И. В., Парасюк И. Н., Провотар А. И. Проблемы программирования 10.06.2000
СТ Инструментальные средства построения нестандартного интерфейса пользователя в среде PARADOX 4.5 1996 Провотар А. И., Гошко Б. М. Управляю ие системы и машины 18.02.1997
СТ Проблемы оптимизации в композиционной структурно-модульной технологии программирования 1995 Парасюк И. Н., Провотар А. И. Кибернетика и системный анализ 07.09.1995
СТ О методологии композиционного структурно-модульного программирования 1995 Парасюк И. Н., Провотар А. И., Заложенкова И. А. Кибернетика и системный анализ 14.06.1995
СТ Теоретические аспекты композиционного структурно-модульного программирования: вычислимость операций алгебры морфизмов 1994 Провотар А. И. Кибернетика и системный анализ 21.03.1995
СТ CASE ARS - интегрированная среда построения прикладных программных систем с помо ью структурно-модульных методов 1993 Сергиенко И. В., Парасюк И. Н., Калита А. В., Провотар А. И., Барткив А. В. Управляю ие системы и машины 19.08.1993