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

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

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


    Непомнящий, В.А.
      Математическая теория программирования Обзор зарубеж. работ В. А. Непомнящий, М. И. Дехтярь
      Знание. Убеждение. Выбор А. В. Непомнящий, А. П. Суханов
      Применение символического метода элиминации инвариантов циклов к верификации программ линейной алгебры = Applying the symbolic method for loop invariant elimination to linear algebra program verification В. А. Непомнящий, Е. А. Мацко ; Рос. акад. наук. Сиб. отд-ние. Ин-т систем информатики им. А. П. Ершова
    о проекте|каталог|поиск|помощь

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