1. Год:
   Наименование: Формирование обучающего множества для задач статического эвристического анализа
   Номер заявки:
   Тип ОИС: Программа для ЭВМ
   Дата заявки:
   Регистрационный номер: 2015662690
   Дата получения:
2. Год: 2017
   Наименование: Расширенный бинарный поиск
   Номер заявки:
   Тип ОИС: Программа для ЭВМ
   Дата заявки:
   Регистрационный номер: 2017616135
   Дата получения: 01.06.2017