Browsing Datorzinātne. Informācijas tehnoloģijas by Title
Now showing items 21-27 of 27
-
Теория алгоритмов и программ
(1986)Сборник посвящен исследованию различных типов вычислительных устройств, таких как альтернирующие вероятностные машины, а также проблемам индуктивного синтеза программ. -
Теория алгоритмов и программ. Выпуск 1
(Редакционно-издательский отдел ЛГУ, 1974) -
Теория алгоритмов и программ. Выпуск 2
(Латвийский государственный университет, 1975) -
Теория алгоритмов и программ. Выпуск 3
(Латвийский государственный университет, 1977)Статьи сборника посвящены в основном теории индуктивного вывода. Рассмотрены также вопросы семантики программ (аппарат формального доказательства свойств программ) и теории сводимости. -
Труды вычислительного центра. Выпуск 4. Расчеты неизотермической нефтеотдачи многослойных пластов
(Latvijas Valsts Universitāte, 1970) -
Уравнения математической физики и теория алгоритмов
(Латвийский государственный университет, 1972)Сборник включает научные работы по краевым задачам для дифференциальных уравнений в частных производных, по стохастическим дифференциально-функциональным уравнениям, а также по теории алгоритмов. -
Ученые записки. Том 91. Труды вычислительного центра. Выпуск 3. Работы по теории функций и краевым задачам
(Izdevniecība "Zinātne", 1968)