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