Посмотр Datorzinātne. Informācijas tehnoloģijas по дате публикации
Отображаемые элементы 1-20 из 27
-
Latvijas Valsts Universitātes Zinātniskie Raksti. 47. sējums. Skaitļošanas centra raksti. 1. laidiens
(Latvijas Valsts Universitāte, 1963) -
Latvijas Valsts Universitātes Zinātniskie Raksti. 58. sējums. Skaitļošanas centra raksti. 2. laidiens
(Latvijas Valsts Universitāte, 1964) -
Ученые записки. Том 91. Труды вычислительного центра. Выпуск 3. Работы по теории функций и краевым задачам
(Izdevniecība "Zinātne", 1968) -
Труды вычислительного центра. Выпуск 4. Расчеты неизотермической нефтеотдачи многослойных пластов
(Latvijas Valsts Universitāte, 1970) -
Уравнения математической физики и теория алгоритмов
(Латвийский государственный университет, 1972)Сборник включает научные работы по краевым задачам для дифференциальных уравнений в частных производных, по стохастическим дифференциально-функциональным уравнениям, а также по теории алгоритмов. -
Теоретические вопросы автоматизированных систем управления. Выпуск 1
(LVU redakcijas un izdevniecības daļa, 1973) -
Вопросы теории кристаллизации. Выпуск 1
(Редакционно-издательский отдел ЛГУ, 1974) -
Теория алгоритмов и программ. Выпуск 1
(Редакционно-издательский отдел ЛГУ, 1974) -
Вопросы теории кристаллизации. Выпуск 2
(Латвийский государственный университет, 1975) -
Теоретические вопросы автоматизированных систем управления. Выпуск 2
(Латвийский государственный университет, 1975) -
Вопросы усовершенствования и эксплуатации электронных вычислительных машин. Выпуск 1
(Латвийский государственный университет, 1975) -
Теория алгоритмов и программ. Выпуск 2
(Латвийский государственный университет, 1975) -
Разработка и внедрение автоматизированных систем. Выпуск 1
(Латвийский государственный университет, 1975) -
Вопросы усовершенствования и эксплуатации электронных вычислительных машин. Выпуск 2
(Латвийский государственный университет, 1977) -
Разработка автоматизированных систем управления в Латвийской ССР
(Латвийский государственный университет, 1977) -
Теория алгоритмов и программ. Выпуск 3
(Латвийский государственный университет, 1977)Статьи сборника посвящены в основном теории индуктивного вывода. Рассмотрены также вопросы семантики программ (аппарат формального доказательства свойств программ) и теории сводимости. -
Методика создания математического обеспечения ЭВМ
(Латвийский государственный университет, 1980) -
Теория алгоритмов и программ
(1986)Сборник посвящен исследованию различных типов вычислительных устройств, таких как альтернирующие вероятностные машины, а также проблемам индуктивного синтеза программ. -
Теоретические вопросы программирования
(Латвийский государственный университет, 1988)Сборник посвящен исследованию сложности различных типов вычислительных устройств, таких как альтернирующие и вероятностные машины, а также проблемам индуктивного синтеза программ. -
Datorzinātne un informācijas tehnoloģijas: Datu bāzes un informācijas sistēmas: doktorantu konsorcijs. Sestā Starptautiskā Baltijas konference BalticDB&IS 2004 Rīga, Latvija, 2004. gada 6.-9. jūnijs
(Latvijas Universitāte, 2004)The Baltic Conference on Databases and Information Systems is a biannual international forum for technical discussion among researchers and developers of database and information systems. The objective of the conference ...