Search
Now showing items 1-10 of 13
Вопросы теории кристаллизации. Выпуск 2
(Латвийский государственный университет, 1975)
Вопросы теории кристаллизации. Выпуск 1
(Редакционно-издательский отдел ЛГУ, 1974)
Теоретические вопросы программирования
(Латвийский государственный университет, 1988)
Сборник посвящен исследованию сложности различных типов
вычислительных устройств, таких как альтернирующие и вероятностные машины, а также проблемам индуктивного синтеза программ.
Теория алгоритмов и программ
(1986)
Сборник посвящен исследованию различных типов вычислительных
устройств, таких как альтернирующие вероятностные
машины, а также проблемам индуктивного синтеза программ.
Уравнения математической физики и теория алгоритмов
(Латвийский государственный университет, 1972)
Сборник включает научные работы по краевым задачам для дифференциальных
уравнений в частных производных, по стохастическим
дифференциально-функциональным уравнениям, а также по теории
алгоритмов.
Вопросы усовершенствования и эксплуатации электронных вычислительных машин. Выпуск 2
(Латвийский государственный университет, 1977)
Разработка автоматизированных систем управления в Латвийской ССР
(Латвийский государственный университет, 1977)
Теория алгоритмов и программ. Выпуск 3
(Латвийский государственный университет, 1977)
Статьи сборника посвящены в основном теории
индуктивного вывода. Рассмотрены также вопросы семантики программ
(аппарат формального доказательства свойств программ) и
теории сводимости.
Методика создания математического обеспечения ЭВМ
(Латвийский государственный университет, 1980)
Вопросы усовершенствования и эксплуатации электронных вычислительных машин. Выпуск 1
(Латвийский государственный университет, 1975)