Пошуковий запит: (<.>K=UML$<.>) |
Загальна кількість знайдених документів : 27
Представлено документи з 1 до 20
|
| |
1. | Потієнко С.В. Алгебраїчні методи верифікації асинхронних паралельних систем : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / С.В. Потієнко / Ін-т кібернетики ім. В.М.Глушкова НАН України. — К., 2009. — 16 с. |
2. | Летичевський О.О. Верифікація та тестування інтерактивних систем, специфікованих за допомогою базових протоколів : Автореф. дис... канд. фіз.-мат. наук: 01.05.03 / О.О. Летичевський / НАН України. Ін-т кібернетики ім. В.М.Глушкова. — К., 2005. — 14 с. |
3. | Раід М.О.Алькавасмі Когнітивний процесор діалогу на основі об'єктних моделей сприйняття і уваги : Автореф. дис... канд. техн. наук: 05.13.06 / Раід М.О.Алькавасмі / НАН України. Ін-т пробл. моделювання в енергетиці ім. Г.Е.Пухова. — К., 2005. — 20 с. |
4. | Дідковська М.В. Методи оцінки та засоби підвищення надійності програмного забезпечення : Автореф. дис... канд. техн. наук: 05.13.06 / М.В. Дідковська / Нац. техн. ун-т України "Київ. політехн. ін-т". — К., 2006. — 19 с. |
5. | РА381957 Шкуліпа І. Ю. Методи та засоби створення автоматизованої системи проектування паралельних алгоритмів : автореф. дис. ... канд. техн. наук : 01.05.03 / І. Ю. Шкуліпа / Київ. нац. ун-т ім. Т. Шевченка. — К., 2011. — 20 с. |
6. | Крамар Ю.М. Методи та інформаційно-програмні засоби синтезу та аналізу стилів програмування : Автореф. дис... канд. техн. наук: 05.13.06 / Ю.М. Крамар / НАН України. Ін-т пробл. моделювання в енергетиці ім. Г.Є.Пухова. — К., 2005. — 19 с.: рис. |
7. | Черняк Н.І. Моделі і методи автоматизованого управління розвитком агропромислового комплексу регіону : автореф. дис... канд. техн. наук: 05.13.06 / Н.І. Черняк / Київ. нац. ун-т буд-ва і архіт. — К., 2009. — 18 с. |
8. | РА312143 Хаббуш Моделі та інформаційні технології реінжинірінгу успадкованих інформаційно-управляючих систем : Автореф. дис... канд. техн. наук: 05.13.06 / Ахмад Хадер Ахмад Хаббуш / Нац. техн. ун-т "Харк. політехн. ін-т". — Х., 2000. — 19 с. |
9. | Бородавка Є.В. Моделі та методи інформаційної інтеграції систем проектування будівель і споруд : автореф. дис... канд. техн. наук: 05.13.12 / Є.В. Бородавка / Київ. нац. ун-т буд-ва і архіт. — К., 2008. — 20 с. |
10. | Сугоняк І.І. Моделі та методи оптимізації процесів впровадження інноваційних продуктів : автореф. дис... канд. техн. наук: 01.05.04 / І.І. Сугоняк / Київ. нац. ун-т ім. Т.Шевченка. — К., 2008. — 20 с. |
11. | Глущенко М.С. Моделювання і оптимальне керування періодичними процесами в утфельних вакуум-апаратах : автореф. дис... канд. техн. наук: 05.13.07 / М.С. Глущенко / Нац. ун-т харч. технологій. — К., 2008. — 19 с. |
12. | Потапенко В.А. Модульні середовища для мережного розподіленого моделювання складних динамічних систем : Автореф. дис. канд. техн. наук: 01.05.02 / В.А. Потапенко / НАН України. Ін-т проблем моделювання в енергетиці ім. Г.Є.Пухова. — К., 2003. — 19 с.: рис. |
13. | Ушкаренко О.О. Оптимізація інформаційних потоків системи керування електроенергетикою сухогрузу з потужністю електростанції до 2 000 кВт : Автореф. дис... канд. техн. наук: 05.13.07 / О.О. Ушкаренко / Нац. ун-т кораблебудування ім. адм. Макарова. — Х., 2007. — 21 с. |
14. | Семенець С.В. Розробка методів та програмного інструментарію створення прикладних програм для мобільних систем : Автореф. дис... канд. техн. наук: 05.13.06 / С.В. Семенець / Ін-т пробл. мат. машин і систем НАН України. — К., 2006. — 18 с. |
15. | Чепцов О.О. Системна організація та алгоритми функціонування моделюючого сервісного центру (для вугільної промисловості) : Автореф. дис... канд. техн. наук: 05.13.06 / О.О. Чепцов / НАН України. Ін-т пробл. моделювання в енергетиці ім. Г.Є.Пухова. — К., 2007. — 21 с. |
16. | 05 Новицький О. В. Моделі та методи вдосконалення електронних бібліотек засобами семантичного вебу / О. В. Новицький. — Б.м., 2019 |
17. | 05 Котелянець В. В. Інформаційна технологія моніторингу навколишнього середовища на базі концепції Інтернету речей / В. В. Котелянець. — Б.м., 2019 |
18. | 05 Кучвара О. М. Метод і система для епідеміологічних досліджень гострих респіраторних захворювань / О. М. Кучвара. — Б.м., 2019 |
19. | 05 Олексюк В. В. Математичне та програмне забезпечення дослідження завадостійкості цифрових модемів з шумовими сигналами / В. В. Олексюк. — Б.м., 2020 |
20. | 05 Чебанюк О. В. Наукові основи повторного використання артефактів розробки програмного забезпечення у доменній інженерії / О. В. Чебанюк. — Б.м., 2020 |
| |