Skip navigation.
Home

Свидетельства об официальной регистрации программ — 2006

  1. Давыдов А. В., Коноплев А.Н. Программная система "PCF Prover 1.0" для поиска логических выводов: Свидетельство об официальной регистрации программы для ЭВМ № 2006613399. — М.: Федеральная служба по интеллектуальной собственности, патентам и товарным знакам, 2006.
  2. Опарин Г.А., Богданова В.Г. Интеллектуальный решатель задач в булевых ограничениях (REBUS): Свидетельство об официальной регистрации программы для ЭВМ № 2006613367. — М.: Федеральная служба по интеллектуальной собственности, патентам и товарным знакам, 2006.
  3. Опарин Г.А., Новопашин А.П. Система крупноблочного синтеза параллельных программ на языке Fortran-DVM (СиКруСПП): Свидетельство об официальной регистрации программы для ЭВМ № 200661314. — М.: Федеральная служба по интеллектуальной собственности, патентам и товарным знакам, 2006.
  4. Потапов А.А. Способ измерения энергии межатомных и межмолекулярных взаимодействий и координационного числа атомных и молекулярных веществ: Патент на изобретение № 2287153. — М.: Федеральная служба по интеллектуальной собственности, патентам и товарным знакам, 2006.
  5. Тирских В.В. Программа расчета функции давления на симметричный контур при погружении через свободную поверхность тяжелой жидкости: Свидетельство об официальной регистрации программы для ЭВМ № 2006610765. — М.: Федеральная служба по интеллектуальной собственности, патентам и товарным знакам, 2006.
  6. Ульянов С.А. Программный модуль для построения редуцированных логико-динамических моделей автоматного типа: Свидетельство об официальной регистрации программы для ЭВМ № 2006610938. — М.: Федеральная служба по интеллектуальной собственности, патентам и товарным знакам, 2006.
  7. Ульянов С.А. Программный модуль для анализа логико-динамических моделей автоматного типа: Свидетельство об официальной регистрации программы для ЭВМ № 2006610937. — М.: Федеральная служба по интеллектуальной собственности, патентам и товарным знакам, 2006.

Министерство образования и науки Российской Федерации Российская академия наук (РАН) Сибирское отделение Российской академии наук (СО РАН) Отделение нанотехнологий и информационных технологий РАН (ОНИТ РАН) Иркутский научный центр СО РАН (ИНЦ СО РАН) Иркутский государственный университет (ИГУ) Иркутский национальный исследовательский технический университет (ИрНИТУ) Российский научный фонд Российский фонд фундаментальных исследований Институт систем энергетики им. Л.А. Мелентьева (ИСЭМ СО РАН) Наука в Сибири Наука Приангарья Агенство научный новостей Байкальский экологический водный форум