 Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox" |
|
|
Пошуковий запит: (<.>U=З973-018.02<.>) |
Загальна кількість знайдених документів : 32
Представлено документи з 1 до 20
|
| | |
1.  |
ІВ219776
Advances and applications in model-driven engineering [Text] / Vicente Garcia Díaz, Juan Manuel Cueva Lovelle, B. Cristina Pelayo García-Bustelo, Oscar Sanjuán Martinez . - Hershey, PA : Information science reference, An imprint of IGI Global, 2014. - XIX, 404 p. : fig., tab. - Бібліогр.: с. 368-392. - ISBN 978-1-4666-4494-6 (hardcover). - ISBN 978-1-4666-4496-0 (print & perpetual access). - ISBN 978-1-4666-1495-3 (ebook)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
García Días, Vicente; Cueva Lovelle, Juan Manuel; García-Bustelo, B. Cristina Pelayo; Martinez, Oscar Sanjuán
Видання зберігається у :
Основний фонд
| | 2. |
ІВ221032
Smith, Jason McColm.
Elemental design patterns [Text] / Jason McC. Smith ; forew. by Grady Booch. - Upper Saddle River, NJ [etc.] : Addison-Wesley, 2012. - XXIV, 333 p. : fig. - Бібліогр.: с. 321-323. - ISBN 978-0-321-71192-2. - ISBN 0-321-71192-0Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Booch, Grady (авт. передм.)
Видання зберігається у :
Основний фонд
| | 3. |
ІС13836
Yazbek, Hashem.
Framework of quality measurement in CASE Tool based software development [Text] : diss. / Hashem Yazbek ; Fak. für Informatik der Otto-von-Guericke-Universität Magdeburg. - Magdeburg, 2010. - 142 p. : fig. - Бібліогр.: с. 133-142Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Otto-von-Guericke-Universität Magdeburg . Fakultät für Informatik
Видання зберігається у :
Основний фонд
| | 4. |
ІВ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
Видання зберігається у :
| | 5. |
ІС14611
Frey, Tim.
Hypermodelling. Next level software engineering with data warehouses [Text] : diss. / Tim Frey ; Fak. für Informatik der Otto-von-Guericke-Univ. Magdeburg. - Magdeburg : Otto-von- Guericke Univ., 2013. - XXVI, 283 p. : fig., tab. - Бібліогр.: с. 271-283Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Otto-von- Guericke Universität (Magdeburg). Fakultät für Informatik
Видання зберігається у :
Основний фонд
| | 6. |
ІВ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.)
Видання зберігається у :
| | 7. |
ІВ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Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
| | 8. |
ІВ219777
Gribaudo, Marco.
Theory and application of multi-formalism modeling [Text] / Marco Gribaudo, Mauro Iacono. - Hershey, PA : Information science reference (an imprint of IGI Global), 2014. - XVIII, 294 p. : fig. - (Advances in systems analysis, software, engineering, and high performance computing). - Бібліогр. в кінці розд. - ISBN 978-1-4666-4659-9 (hardcover). - ISBN 978-1-4666-4660-5 (ebook). - ISBN 978-1-4666-4661-2 (print & perpetual access)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Iacono, Mauro
Видання зберігається у :
Основний фонд
| | 9. |
ВС65185
Алгебро-алгоритмічні моделі та методи паралельного програмування [Текст] / П. І. Андон [та ін.] ; [Nat. acad. of sciences of Ukraine, Inst. of software system] ; Проект "Укр. наук. кн. інозем. мовою". - Київ : Академперіодика, 2018. - 190, [1] с. : іл. - Назва обкл. : Algebra-Algorithmic Models and Methods of Parallel Programming. - Текст англ. - Парал. тит. арк. англ. - Бібліогр.: с. 171-180. - 250 прим. - ISBN 978-966-360-367-4Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Андон, Пилип Іларіонович; Дорошенко, Анатолій Юхимович; Жереб, Костянтин Анатолійович; Яценко, Олена Анатоліївна; National academy of sciences of Ukraine; Institute of software system; "Українська наукова книга іноземною мовою", проект; "Ukrainian scientific book in a foreign language", project
Видання зберігається у :
Основний фонд
| | 10. |
РА379498
Шкільняк, Оксана Степанівна.
Дослідження композиційно-номінативних модальних та темпоральних логік [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.01 / Шкільняк Оксана Степанівна ; Київ. нац. ун-т ім. Т. Шевченка. - К., 2011. - 19 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
| | 11. |
ДС127522
Шкільняк, Оксана Степанівна.
Дослідження композиційно-номінативних модальних та темпоральних логік [Текст] : дис. ... канд. фіз.-мат. наук : 01.05.01 / Шкільняк Оксана Степанівна ; Київ. нац. ун-т ім. Тараса Шевченка. - К., 2011. - 143 арк. - Бібліогр.: арк. 135-143.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
| | 12. |
ДС139739
Тимофєєв, Валентин Георгійович.
Дослідження та розробка алгоритмів перевірки виконуваності в логіках композиційно-номінативного типу [Текст] : дис. ... канд. фіз.-мат. наук : 01.05.03 / Тимофєєв Валентин Георгійович ; Київ. нац. ун-т ім. Тараса Шевченка. - Київ, 2013. - 165 арк. - Бібліогр.: арк. 144-158.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
| | 13. |
РА405069
Тимофєєв, Валентин Георгійович.
Дослідження та розробка алгоритмів перевірки виконуваності в логіках композиційно-номінативного типу [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.03 / Тимофєєв Валентин Георгійович ; Київ. нац. ун-т ім. Тараса Шевченка. - К., 2013. - 19 с.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
| | 14. |
РА324001
Саргсян, Гагик Грачьяевич.
Инструментальная среда проектирования и управления бизнес-процессами [Текст] : автореф. дис... канд. техн. наук: 05.13.04 / Саргсян Гагик Грачьяевич ; Ереванский НИИ математических машин. - Ереван, 2003. - 22 с.: рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Ереванский НИИ математических машин
Видання зберігається у :
Основний фонд
| | 15. |
В349329/Т. 1
Кнут, Дональд Эрвин
Искусство программирования [Текст] : пер. с англ. / Д. Э. Кнут ; общ. ред. Ю. В. Козаченко. - М. : Издательский дом "Вильямс"2005. - (Классический труд).
Т. 1 : Основные алгоритмы / пер. с англ. и ред. С. Г. Тригуб [и др.]. - 3.изд. - [Б. м.] : [б.и.], 2005. - 712 с.: рис. - ISBN 5-8459-0080-8 (рус.). - ISBN 0-201-89683-4 (англ.)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Козаченко, Ю. В. \общ. ред.\; Тригуб, С. Г. (пер. с англ. и ред.)
Видання зберігається у :
Універсальний підсобний фонд
| | 16. |
В350994/Т. 1
Кнут, Дональд Э.
Искусство программирования [Текст] : классический труд / Д. Э. Кнут ; ред. Ю. В. Козаченко. - М. : Вильямс2007.
Т. 1 : Основные алгоритмы. - 3-е изд. испр. и доп. - [Б. м.] : [б.и.], 2007. - 712 с. - ISBN 5-8459-0080-8 (рус.). - ISBN 0-201-89683-4 (англ.)
Парал. тит. англ.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Козаченко, Ю. В. \ред.\
Видання зберігається у :
Основний фонд
| | 17. |
В349040/Т. 2
Кнут, Дональд Эрвин
Искусство программирования [Текст] : классический труд / Д. Э. Кнут. - М. : Издательский дом "Вильямс"2004.
Т. 2 : Получисленные алгоритмы / общ. ред., пер. с англ. Ю. В. Козаченко. - 3-е изд., испр. и доп. - [Б. м.] : [б.и.], 2004. - 828 с. - ISBN 5-8459-0081-6 (рус.). - ISBN 0-201-89684-2 (англ.)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Козаченко, пер. с англ.: Козаченко, Ю. В. (общ. ред., пер. с англ.)
Видання зберігається у :
Основний фонд
Універсальний підсобний фонд
| | 18. |
В349040/Т. 3
Кнут, Дональд Эрвин
Искусство программирования [Текст] : классический труд / Д. Э. Кнут. - М. : Издательский дом "Вильямс"2004.
Т. 3 : Сортировка и поиск / общ. ред., пер. с англ. Ю. В. Козаченко. - 2-е изд., испр. и доп. - [Б. м.] : [б.и.], 2004. - 823 с.: рис. - ISBN 5-8459-0082-4 (рус.). - ISBN 0-201-89685-0 (англ.)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Козаченко, пер. с англ.: Козаченко, Ю. В. (общ. ред., пер. с англ.)
Видання зберігається у :
Основний фонд
| | 19. |
В349329/Т. 3
Кнут, Дональд Эрвин
Искусство программирования [Текст] : пер. с англ. / Д. Э. Кнут ; общ. ред. Ю. В. Козаченко. - М. : Издательский дом "Вильямс"2005. - (Классический труд).
Т. 3 : Сортировка и поиск / пер. с англ. и ред. В. П. Тертышный, И. В. Красиков. - 2.изд. - [Б. м.] : [б.и.], 2005. - 822 с.: рис. - ISBN 5-8459-0082-4 (рус.). - ISBN 0-201-89685-0 (англ.)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Козаченко, Ю. В. \общ. ред.\; Тертышный, В. П. (пер. с англ. и ред.); Красиков, И. В. (пер. с англ. и ред.)
Видання зберігається у :
Універсальний підсобний фонд
| | 20. |
В350994/Т. 3
Кнут, Дональд Э.
Искусство программирования [Текст] : классический труд / Д. Э. Кнут ; ред. Ю. В. Козаченко. - М. : Вильямс2007.
Т. 3 : Сортировка и поиск. - 2-е изд. испр. и доп. - [Б. м.] : [б.и.], 2007. - 822 с. - ISBN 5-8459-0082-1 (рус.). - ISBN 0-201-89685-0 (англ.)
Парал. тит. англ.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Козаченко, Ю. В. \ред.\
Видання зберігається у :
Основний фонд
|
| | |
|
|
Простий
Розширений
Пам`ятка користувача