Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>U=З973-018.022.08<.>) |
Загальна кількість знайдених документів : 4
Представлено документи з 1 до 4
|
1. | РА374093 Акопян, Рубен Юрьевич. Об алгоритмах интерпретации строго типизированных функциональных программ [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.04 / Акопян Рубен Юрьевич ; Ин-т пробл. информатики и автоматизации НАН РА. - Ереван, 2010. - 18 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Национальная академия наук Республики Армения; Институт проблем информатики и автоматизации НАН Республики Армения
Видання зберігається у :
Основний фонд
| 2. | РА381376 Аракелян, Ара Гайкович. О типовой корректности функциональных программ [Text] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Аракелян Ара Гайкович ; Ереван. гос. ун-т. - Ереван, 2011. - 22 с. - Текст вірм.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Ереванский государственный университет
Видання зберігається у :
Основний фонд
| 3. | РА364210 Грачян, Гурген Гагикович. Об основной семантике функциональных программ [Текст] : автореф. дис... канд. физ.-мат. наук: 01.01.09 / Грачян Гурген Гагикович. - Ереван, 2009. - 14 с.Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
| 4. | РА381378 Казарян, Гор Арамович. О преобразованиях бестиповых функциональных программ и их процедурных семантиках [Text] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Казарян Гор Арамович ; Ереван. гос. ун-т. - Ереван, 2011. - 19 с. - Текст вірм.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Ереванский государственный университет
Видання зберігається у :
Основний фонд
|
|
|