Search
Now showing items 21-27 of 27
Теория алгоритмов и программ. Выпуск 3
(Латвийский государственный университет, 1977)
Статьи сборника посвящены в основном теории
индуктивного вывода. Рассмотрены также вопросы семантики программ
(аппарат формального доказательства свойств программ) и
теории сводимости.
Методика создания математического обеспечения ЭВМ
(Латвийский государственный университет, 1980)
Вопросы усовершенствования и эксплуатации электронных вычислительных машин. Выпуск 1
(Латвийский государственный университет, 1975)
Труды вычислительного центра. Выпуск 4. Расчеты неизотермической нефтеотдачи многослойных пластов
(Latvijas Valsts Universitāte, 1970)
Теория алгоритмов и программ. Выпуск 1
(Редакционно-издательский отдел ЛГУ, 1974)
Теория алгоритмов и программ. Выпуск 2
(Латвийский государственный университет, 1975)
Разработка и внедрение автоматизированных систем. Выпуск 1
(Латвийский государственный университет, 1975)