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