Пошуковий запит: (<.>U=З973-018.022.08$<.>) |
Загальна кількість знайдених документів : 16
Представлено документи з 1 до 16
|
1. | РА364210 Грачян, Гурген Гагикович. Об основной семантике функциональных программ [Текст] : автореф. дис... канд. физ.-мат. наук: 01.01.09 / Грачян Гурген Гагикович. - Ереван, 2009. - 14 с.Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
2. | РА374093 Акопян, Рубен Юрьевич. Об алгоритмах интерпретации строго типизированных функциональных программ [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.04 / Акопян Рубен Юрьевич ; Ин-т пробл. информатики и автоматизации НАН РА. - Ереван, 2010. - 18 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Национальная академия наук Республики Армения; Институт проблем информатики и автоматизации НАН Республики Армения
Видання зберігається у :
Основний фонд
|
3. | РА381376 Аракелян, Ара Гайкович. О типовой корректности функциональных программ [Text] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Аракелян Ара Гайкович ; Ереван. гос. ун-т. - Ереван, 2011. - 22 с. - Текст вірм.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Ереванский государственный университет
Видання зберігається у :
Основний фонд
|
4. | РА381378 Казарян, Гор Арамович. О преобразованиях бестиповых функциональных программ и их процедурных семантиках [Text] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Казарян Гор Арамович ; Ереван. гос. ун-т. - Ереван, 2011. - 19 с. - Текст вірм.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Ереванский государственный университет
Видання зберігається у :
Основний фонд
|
5. | В343946/Ч. 1 Месюра, В. І. Функціональне та логічне програмування [Текст] : навч. посібник для студ. спец.: "Інтелектуальні системи прийняття рішень", "Програмне забезпечення автоматизованих систем" / В. І. Месюра. - Вінниця : Вінницький держ. технічний ун-т, 2001 . Ч. 1 : Основи функціонального програмування. - Вінниця : [б.в.], 2001. - 90 с.: рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Вінницький держ. технічний університет
Видання зберігається у :
Основний фонд
|
6. | ВА636627 Заяць, Василь Михайлович. Функційне програмування [Текст] : навч. посіб. для студ. вищ. навч. закл. базового напряму "Комп'ютерні науки" / В. М. Заяць ; Національний ун-т "Львівська політехніка". - Л. : Видавництво Національного ун-ту "Львівська політехніка", 2002. - 136 с. - Бібліогр.: с. 135. - ISBN 966-553-264-2Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Національний університет "Львівська політехніка" (Львів)
Видання зберігається у :
Основний фонд
|
7. | ВА652632 Заяць, Василь Михайлович. Функційне програмування [Текст] : навч. посібник для студ. вищих навч. закл., що навч. за спец. "Програмне забезпечення автоматизованих систем" / В. М. Заяць ; Національний ун-т "Львівська політехніка". - Л. : Бескид Біт, 2003. - 160 с. - Бібліогр.: с. 159. - ISBN 966-8450-00-0Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Національний університет "Львівська політехніка" (Львів)
Видання зберігається у :
Основний фонд
|
8. | ВА722015 Заяць, Василь Михайлович. Логічне і функційне програмування [Текст] : навч. посіб. для студ. вищих навч. закл. базового напрямку 0804 "Комп'ютерні науки" / В. М. Заяць, М. М. Заяць ; Львівський держ. ін-т новітніх технологій та управління ім. В'ячеслава Чорновола. - Л. : Бескид Біт, 2006. - 352 с.: рис., табл. - Бібліогр.: с. 343-344. - ISBN 966-8450-20-5Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Заяць, Марія Михайлівна; Львівський державний інститут новітніх технологій та управління імені В'ячеслава Чорновола
Видання зберігається у :
Основний фонд
|
9. | Р115825 Методичні вказівки до виконання контрольних робіт з дисципліни "Функціональне та логічне програмування" для студентів заочної форми навчання напрямів підготовки: 6.050101 "Комп'ютерні науки", 6.050103 "Програмна інженерія" [Текст] / Вінниц. нац. техн. ун-т ; уклад. В. І. Месюра. - Вінниця : ВНТУ, 2009. - 46 с. - Бібліогр.: с. 44-45. - 75 прим.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Месюра, Володимир Іванович (уклад.); Вінницький національний технічний університет
Видання зберігається у :
Основний фонд
|
10. | ВА724282 Партас, Віктор Кирилович. Функціональне та логічне програмування [Текст] : метод. вказівки для студ. напрямку "Комп'ютерні науки" / В. К. Партас, О. В. Гайдаєнко ; Нац. ун-т кораблебудування ім. адмірала Макарова. - Миколаїв : НУК, 2009. - 57 с. : рис., табл. - Бібліогр.: с. 55. - 100 прим.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Гайдаєнко, Оксана Володимирівна; Національний університет кораблебудування імені адмірала Макарова (Миколаїв)
Видання зберігається у :
Основний фонд
|
11. | ВА760737 Тимофіїв, Сергій Георгійович. Функціональне програмування ЛІСП [Текст] : навч. посіб. / С. Г. Тимофіїв, І. О. Доценко, О. Г. Рибальченко. - Кривий Ріг : Вид. центр КТУ, 2011. - 190 с. - Бібліогр.: с. 190. - 300 прим. - ISBN 978-966-7830-54-0Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Доценко, Ірина Олексіївна; Рибальченко, Олена Геннадіївна
Видання зберігається у :
Основний фонд
|
12. | Р118557 Функціональне та логічне програмування [Текст] : лаб. практикум для студ. напряму 0915 "Комп'ютерна інженерія" / Нац. авіац. ун-т ; [уклад. О. М. Глазок]. - К. : НАУ, 2011. - 31 с. - Бібліогр.: с. 31. - 100 прим.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Глазок, Олексій Михайлович (уклад.); Національний авіаційний університет (Київ)
Видання зберігається у :
Основний фонд
|
13. | ВА759237 Функціональне програмування [Текст] : навч. посіб. для студ. вищ. навч. закл., які навчаються за спец. "Програмне забезпечення автоматизованих систем" / Ю. І. Бадаєв [та ін.] ; Нац. техн. ун-т України "Київ. політехн. ін-т". - К. : НТУУ "КПІ", 2012. - 135 с. : рис. - Бібліогр.: с. 118. - 300 прим. - ISBN 978-966-622-400-5Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Бадаєв, Юрий Іванович; Круш, Ольга Євгеніївна; Гурін, Артем Леонідович; Ричік, Сергій Володимирович; "Київський політехнічний інститут", національний технічний університет України
Видання зберігається у :
Основний фонд
|
14. | ВС62723 Заяць, Василь Михайлович. Логічне і функціональне програмування [Текст] : навч. посіб. / В. М. Заяць, М. М. Заяць ; Нац. ун-т "Львів. політехніка". - Львів ; Кам'янець-Подільський : Гордукова І. Є., 2016. - 398 с. : рис. - Бібліогр.: с. 378-379. - 300 прим. - ISBN 978-617-7381-38-8Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу: Заяць, Марія Михайлівна; "Львівська політехніка", національний університет
Видання зберігається у :
Основний фонд
|
15. | ВС64129 Заяць, Василь Михайлович. Логічне і функціональне програмування. Системний підхід [Текст] : підруч. для студентів баз. напряму підгот. "Комп'ютерні науки", "Комп'ютерна інженерія" та "Програмна інженерія" / В. М. Заяць, М. М. Заяць ; Нац. ун-т вод. госп-ва та природокористування. - 2-ге вид., випр. та допов. - Рівне : НУВГП, 2018. - 421 с. : рис., табл. - Бібліогр.: с. 394-395. - 500 прим. - ISBN 978-966-327-375-4Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу: Заяць, Марія Михайлівна; Національний університет водного господарства та природокористування (Рівне)
Видання зберігається у :
Основний фонд
|
16. | DVD691 Партас, В. К. Методичні вказівки до виконання лабораторних робіт з дисципліни "Функціональне та логічне програмування" [Електронний ресурс] / В. К. Партас, О. В. Гайдаєнко ; Нац. ун-т кораблебудування ім. адмірала Макарова. - Електрон. дані (4599 кб). - Миколаїв : НУК, 2015. - 1 електрон. опт. диск (DVD-ROM). - (Методичні вказівки). - Назва з етикетки диску. - 15 прим. прим.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Гайдаєнко, О. В.; Національний університет кораблебудування імені адмірала Макарова (Миколаїв)
Видання зберігається у :
Основний фонд
|