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