Пошуковий запит: (<.>U=З973-018.02<.>) |
Загальна кількість знайдених документів : 32
Представлено документи з 1 до 20
|
| | |
1.  |
РА324001
Саргсян, Гагик Грачьяевич.
Инструментальная среда проектирования и управления бизнес-процессами [Текст] : автореф. дис... канд. техн. наук: 05.13.04 / Саргсян Гагик Грачьяевич ; Ереванский НИИ математических машин. - Ереван, 2003. - 22 с.: рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Ереванский НИИ математических машин
Видання зберігається у :
Основний фонд
|
| 2. |
РА337244
Яценко, Олена Анатоліївна.
Розробка інтегрованих алгебро-алгоритмічних моделей: елементи теорії, інструментарій, застосування [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Яценко Олена Анатоліївна ; Київський національний ун-т ім. Тараса Шевченка. - К., 2005. - 17 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 3. |
РА379498
Шкільняк, Оксана Степанівна.
Дослідження композиційно-номінативних модальних та темпоральних логік [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.01 / Шкільняк Оксана Степанівна ; Київ. нац. ун-т ім. Т. Шевченка. - К., 2011. - 19 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 4. |
РА405069
Тимофєєв, Валентин Георгійович.
Дослідження та розробка алгоритмів перевірки виконуваності в логіках композиційно-номінативного типу [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.03 / Тимофєєв Валентин Георгійович ; Київ. нац. ун-т ім. Тараса Шевченка. - К., 2013. - 19 с.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 5. |
РА421762
Стеняшин, Андрій Юрійович.
Методи зборки прикладних систем з функціональних та інтерфейсних об'єктів зі стандартними та згенерованими даними [Текст] : автореф. дис. ... канд. техн. наук : 01.05.03 / Стеняшин Андрій Юрійович ; Київ. нац. ун-т ім. Тараса Шевченка. - Київ, 2016. - 22 с. : рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 6. |
РА434286
Захарченко, Тарас Леонідович.
Композитосутнісні моделі адаптивних процесональних середовищ [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Захарченко Тарас Леонідович ; НАН України, Ін-т телекомунікацій і глобал. інформ. простору. - Київ, 2018. - 21 с. : рис.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Національна академія наук України; Інститут телекомунікацій і глобального інформаційного простору (Київ)
Видання зберігається у :
Основний фонд
|
| 7. |
ДС89707
Яценко, Олена Анатоліївна.
Розробка інтегрованих алгебро-алгоритмічних моделей: елементи теорії, інструментарій, застосування [Текст] : дис... канд. фіз.-мат. наук: 01.05.03 / Яценко Олена Анатоліївна ; Нац. акад. наук України, Ін-т програм. систем. - К., 2005. - 177 арк. - Бібліогр.: арк. 153-163.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національна академія наук України; Інститут програмних систем (Київ)
Видання зберігається у :
Основний фонд
|
| 8. |
ДС127522
Шкільняк, Оксана Степанівна.
Дослідження композиційно-номінативних модальних та темпоральних логік [Текст] : дис. ... канд. фіз.-мат. наук : 01.05.01 / Шкільняк Оксана Степанівна ; Київ. нац. ун-т ім. Тараса Шевченка. - К., 2011. - 143 арк. - Бібліогр.: арк. 135-143.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 9. |
ДС139739
Тимофєєв, Валентин Георгійович.
Дослідження та розробка алгоритмів перевірки виконуваності в логіках композиційно-номінативного типу [Текст] : дис. ... канд. фіз.-мат. наук : 01.05.03 / Тимофєєв Валентин Георгійович ; Київ. нац. ун-т ім. Тараса Шевченка. - Київ, 2013. - 165 арк. - Бібліогр.: арк. 144-158.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 10. |
ДС151010
Захарченко, Тарас Леонідович.
Композитосутнісні моделі адаптивних процесональних середовищ [Текст] : дис. ... канд. техн. наук : 05.13.06 / Захарченко Тарас Леонідович ; Нац. техн. ун-т України "Київ. політехн. ін-т ім. Ігоря Сікорського", НАН України, Ін-т телекомунікацій і глобал. інформ. простору. - Київ, 2018. - 191 арк. : рис., табл. - Бібліогр.: арк. 175-184.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
"Київський політехнічний інститут імені Ігоря Сікорського", національний технічний університет України; Національна академія наук України; Інститут телекомунікацій і глобального інформаційного простору (Київ)
Видання зберігається у :
Основний фонд
|
| 11. |
Глушков В. М. Р154
 Глушков, Виктор Михайлович.
Фундаментальные исследования и технология программирования [Текст] : [окр. відб. з журн.: Программирование/АН СССР.- 1980, №2.- С. 3-13] / В. М. Глушков. - Москва : [б. и.], 1980. - [13] с.Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 12. |
ІВ195794
Brooks, Frederick P..
Le mythe du mois-homme [Text] : essais sur le génie logiciel / F. P. Brooks ; trad. F. Mora. - 2 éd. - Paris[etc.] : International Thomson publ. France, 1996. - XIX, 276 p.: fig. - ISBN 2-84180-081-4Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Mora, Frédéric (trad.)
Видання зберігається у :
|
| 13. |
Р83580
Бакулин, Александр Владимирович.
Формализованный подход к разработке программного обеспечения [Текст] / А. В. Бакулин. - Минск : [б.в.], 1998. - 20 с. - (Препр. / НАН Беларуси. Институт технической кибернетики ; 1)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
НАН Беларуси. Институт технической кибернетики
Видання зберігається у :
|
| 14. |
ВС33203
Грэхем, Роналд.
Конкретная математика. Основание информатики [Текст] / Р. Грэхем [и др] ; пер. Б. Б. Походзей, А. Б. Ходулев ; ред. А. Б. Ходулев. - М. : Мир, 1998. - 703 с. - ISBN 5-03-001793-3Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Кнут, Дональд; Паташник, Орен; Ходулев, А. Б. (ред.); Походзей, Б. Б. (пер.); Ходулев, А. Б. (пер.)
Видання зберігається у :
Універсальний підсобний фонд
Основний фонд
|
| 15. |
ІВ197192
Gerhardt, Marlene.
Generierung und praxisbezogene Optimierung von Infix-Analysatoren für LR-Grammatiken [Text] : diss. / M. Gerhardt ; Ruhr-Universität Bochum. Die Fak. für Mathematik. - Bochum : [б.в.], 1999. - 115 S.: Abb.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Die Ruhr-Universität Bochum. Die Fak. für Mathematik
Видання зберігається у :
|
| 16. |
ІВ218907
Dumke, Reiner.
Software engineering [Text] : eine Einführung für Informatiker u. Ingenieure: Systeme, Erfahrungen, Methoden, Tools / Reiner Dumke. - 3., überarb. Aufl. - Braunschweig ; Wiesbaden : Vieweg, 2001. - VIII, 413 S. : Abb., Tab. - (Die Reihe "Lehrbuch"). - Бібліогр.: с. 397-406. - ISBN 3-528-25355-XРубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 17. |
ВА668666
Бобровский, Сергей Иванович.
Программная инженерия. Технологии Пентагона на службе российских программистов [Текст] / С. И. Бобровский. - СПб. [и др.] : Питер, 2003. - 221 с.: ил. - Библиогр.: с. 221. - ISBN 5-318-00103-3Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 18. |
В349040/Т. 2
Кнут, Дональд Эрвин
Искусство программирования [Текст] : классический труд / Д. Э. Кнут. - М. : Издательский дом "Вильямс"2004.
Т. 2 : Получисленные алгоритмы / общ. ред., пер. с англ. Ю. В. Козаченко. - 3-е изд., испр. и доп. - [Б. м.] : [б.и.], 2004. - 828 с. - ISBN 5-8459-0081-6 (рус.). - ISBN 0-201-89684-2 (англ.)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Козаченко, пер. с англ.: Козаченко, Ю. В. (общ. ред., пер. с англ.)
Видання зберігається у :
Основний фонд
Універсальний підсобний фонд
|
| 19. |
В349040/Т. 3
Кнут, Дональд Эрвин
Искусство программирования [Текст] : классический труд / Д. Э. Кнут. - М. : Издательский дом "Вильямс"2004.
Т. 3 : Сортировка и поиск / общ. ред., пер. с англ. Ю. В. Козаченко. - 2-е изд., испр. и доп. - [Б. м.] : [б.и.], 2004. - 823 с.: рис. - ISBN 5-8459-0082-4 (рус.). - ISBN 0-201-89685-0 (англ.)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Козаченко, пер. с англ.: Козаченко, Ю. В. (общ. ред., пер. с англ.)
Видання зберігається у :
Основний фонд
|
| 20. |
В349329/Т. 3
Кнут, Дональд Эрвин
Искусство программирования [Текст] : пер. с англ. / Д. Э. Кнут ; общ. ред. Ю. В. Козаченко. - М. : Издательский дом "Вильямс"2005. - (Классический труд).
Т. 3 : Сортировка и поиск / пер. с англ. и ред. В. П. Тертышный, И. В. Красиков. - 2.изд. - [Б. м.] : [б.и.], 2005. - 822 с.: рис. - ISBN 5-8459-0082-4 (рус.). - ISBN 0-201-89685-0 (англ.)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Козаченко, Ю. В. \общ. ред.\; Тертышный, В. П. (пер. с англ. и ред.); Красиков, И. В. (пер. с англ. и ред.)
Видання зберігається у :
Універсальний підсобний фонд
|
| | |
Простий
Розширений
Книжкові видання та компакт-диски
Пам`ятка користувача