Пошуковий запит: (<.>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
Рубрики:
Видання зберігається у :
Основний фонд
| |