• Помощь
  • Корзина ( 0 )
  • Регистрация
  • Вход

    • Изготовление электронных копий любых изданий

    Помощь     Корзина ( 0 ) Регистрация Вход
    Изготовление электронных копий любых изданий
    О Проекте Каталог Поиск


    Каширин, Игорь Юрьевич
      Методы формального анализа инструментальных систем программного обеспечения ЭВМ на основе теории унификации : диссертация ... доктора технических наук : 05.13.11
      Методы формального анализа инструментальных систем программного обеспечения ЭВМ на основе теории унификации : автореферат дис. ... доктора технических наук : 05.13.11 НИЦ интеллектуальной собственности Рязанской радиотехн. акад.
      Формальное исследование интеллектуальных программных систем / И. Ю. Каширин, Л. П. Коричнев
      Основы формальных систем : Учеб. пособие И. Ю. Каширин, Л. В. Маликова, В. В. Маркова; Под ред. И. Ю. Каширина; М-во образования Рос. Федерации. Науч.-информ. центр проблем интеллектуал. собственности
      Объективно-ориентированное проектирование программ в среде C++ Вопр. практики и теории И. Ю. Каширин; Под ред. Л. П. Коричнева
      Формальное исследование интеллектуальных программных систем И. Ю. Каширин, Л. П. Коричнев
    о проекте|каталог|поиск|помощь

    copyright (c) 2010-2024 any-book.ru