Пошуковий запит: (<.>U=З973-018.022.08$<.>) |
Загальна кількість знайдених документів : 16
Представлено документи з 1 до 16
|
| 1. | Грачян Г. Г. Об основной семантике функциональных программ : автореф. дис... канд. физ.-мат. наук: 01.01.09 / Грачян Гурген Гагикович. - Ереван, 2009. - 14 с. (Шифр: РА364210)
|
| 2. | Месюра, В. І. Функціональне та логічне програмування. Ч. 1:Основи функціонального програмування. - Вінниця : [б.в.], 2001. - 90 с.: рис. (Шифр: В343946/Ч. 1)
|
| 3. | Заяць В. М. Функційне програмування : Навч. посіб. для студ. вищ. навч. закл. базового напряму "Комп'ютерні науки" / В. М. Заяць ; Національний ун-т "Львівська політехніка". - Л. : Видавництво Національного ун-ту "Львівська політехніка", 2002. - 136 с. (Шифр: ВА636627)
|
| 4. | Заяць В. М. Функційне програмування : Навч. посібник для студ. вищих навч. закл., що навч. за спец. "Програмне забезпечення автоматизованих систем" / В. М. Заяць ; Національний ун-т "Львівська політехніка". - Л. : Бескид Біт, 2003. - 160 с. (Шифр: ВА652632)
|
| 5. | Заяць В. М. Логічне і функційне програмування : навч. посіб. для студ. вищих навч. закл. базового напрямку 0804 "Комп'ютерні науки" / В. М. Заяць, М. М. Заяць ; Львівський держ. ін-т новітніх технологій та управління ім. В'ячеслава Чорновола. - Л. : Бескид Біт, 2006. - 352 с.: рис., табл. (Шифр: ВА722015)
|
| 6. | Партас В. К. Функціональне та логічне програмування : метод. вказівки для студ. напрямку "Комп'ютерні науки" / В. К. Партас, О. В. Гайдаєнко ; Нац. ун-т кораблебудування ім. адмірала Макарова. - Миколаїв : НУК, 2009. - 57 с. : рис., табл. (Шифр: ВА724282)
|
| 7. | Методичні вказівки до виконання контрольних робіт з дисципліни "Функціональне та логічне програмування" для студентів заочної форми навчання напрямів підготовки: 6.050101 "Комп'ютерні науки", 6.050103 "Програмна інженерія" / Вінниц. нац. техн. ун-т ; уклад. В. І. Месюра. - Вінниця : ВНТУ, 2009. - 46 с. (Шифр: Р115825)
|
| 8. | Акопян Р. Ю. Об алгоритмах интерпретации строго типизированных функциональных программ : автореф. дис. ... канд. физ.-мат. наук : 05.13.04 / Акопян Рубен Юрьевич ; Ин-т пробл. информатики и автоматизации НАН РА. - Ереван, 2010. - 18 с. (Шифр: РА374093)
|
| 9. | Аракелян А. Г. О типовой корректности функциональных программ : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Аракелян Ара Гайкович ; Ереван. гос. ун-т. - Ереван, 2011. - 22 с. (Шифр: РА381376)
|
| 10. | Казарян Г. А. О преобразованиях бестиповых функциональных программ и их процедурных семантиках : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Казарян Гор Арамович ; Ереван. гос. ун-т. - Ереван, 2011. - 19 с. (Шифр: РА381378)
|
| 11. | Функціональне та логічне програмування : лаб. практикум для студ. напряму 0915 "Комп'ютерна інженерія" / Нац. авіац. ун-т ; [уклад. О. М. Глазок]. - К. : НАУ, 2011. - 31 с. (Шифр: Р118557)
|
| 12. | Функціональне програмування : навч. посіб. для студ. вищ. навч. закл., які навчаються за спец. "Програмне забезпечення автоматизованих систем" / Ю. І. Бадаєв [та ін.] ; Нац. техн. ун-т України "Київ. політехн. ін-т". - К. : НТУУ "КПІ", 2012. - 135 с. : рис. (Шифр: ВА759237)
|
| 13. | Тимофіїв С. Г. Функціональне програмування ЛІСП : навч. посіб. / С. Г. Тимофіїв, І. О. Доценко, О. Г. Рибальченко. - Кривий Ріг : Вид. центр КТУ, 2011. - 190 с. (Шифр: ВА760737)
|
| 14. | Партас В. К. Методичні вказівки до виконання лабораторних робіт з дисципліни "Функціональне та логічне програмування" / В. К. Партас, О. В. Гайдаєнко ; Нац. ун-т кораблебудування ім. адмірала Макарова. - Миколаїв : НУК, 2015. - 1 електрон. опт. диск (DVD-ROM). - (Методичні вказівки) (Шифр: DVD691)
|
| 15. | Заяць В. М. Логічне і функціональне програмування : навч. посіб. / В. М. Заяць, М. М. Заяць ; Нац. ун-т "Львів. політехніка". - Львів ; Кам'янець-Подільський : Гордукова І. Є., 2016. - 398 с. : рис. (Шифр: ВС62723)
|
| 16. | Заяць В. М. Логічне і функціональне програмування. Системний підхід : підруч. для студентів баз. напряму підгот. "Комп'ютерні науки", "Комп'ютерна інженерія" та "Програмна інженерія" / В. М. Заяць, М. М. Заяць ; Нац. ун-т вод. госп-ва та природокористування. - Рівне : НУВГП, 2018. - 421 с. : рис., табл. (Шифр: ВС64129)
|
Книжкові видання
Розширений пошук