Browsing Datorzinātne. Informācijas tehnoloģijas by Subject "Algoritmi"

Now showing items 1-4 of 4

    • Теоретические вопросы программирования 

      Латвийский государственный университет. Вычислительный центр (Латвийский государственный университет, 1988)
      Сборник посвящен исследованию сложности различных типов вычислительных устройств, таких как альтернирующие и вероятностные машины, а также проблемам индуктивного синтеза программ.

    • Теория алгоритмов и программ 

      Латвийский государственный университет. Вычислительный центр (1986)
      Сборник посвящен исследованию различных типов вычислительных устройств, таких как альтернирующие вероятностные машины, а также проблемам индуктивного синтеза программ.

    • Теория алгоритмов и программ. Выпуск 3 

      Латвийский государственный университет. Вычислительный центр (Латвийский государственный университет, 1977)
      Статьи сборника посвящены в основном теории индуктивного вывода. Рассмотрены также вопросы семантики программ (аппарат формального доказательства свойств программ) и теории сводимости.

    • Уравнения математической физики и теория алгоритмов 

      Латвийский государственный университет. Вычислительный центр (Латвийский государственный университет, 1972)
      Сборник включает научные работы по краевым задачам для дифференциальных уравнений в частных производных, по стохастическим дифференциально-функциональным уравнениям, а также по теории алгоритмов.