Пошуковий запит: (<.>U=З973-018.1$<.>) |
Загальна кількість знайдених документів : 42
Представлено документи з 1 до 20
|
| |
1. |
Ревенчук І.А. Алгебро-логічні методи опису арифметичних відношень та їх застосування при створенні раціональних структур обчислювачів : Автореф. дис... канд. техн. наук: 01.05.03. — Х., 2001. — 19 с. — укp.
Рубрики:
|
2. |
Семчишин Л. М. Алгоритми комп'ютерної алгебри для розв'язання матричних рівнянь : автореф. дис. ... канд. фіз.-мат. наук : 01.05.02. — Чернівці, 2011. — 18 с. — укp.
Рубрики:
|
3. |
Вільчінська О.С. Багаторівнева інтелектуальна скрізна модель створення програмного забезпечення : Автореф. дис... канд. техн. наук: 01.05.04. — Х., 2001. — 19 с. — укp.
Рубрики:
|
4. |
Баран І.О. Високоточні обчислювальні алгоритми та система автоматизованого розрахунку дифузійних процесів в багатокомпонентних середовищах : Автореф. дис. канд. техн. наук: 01.05.02. — Т., 2003. — 20 с. — укp.
Рубрики:
|
5. |
Пелєга Є. В. Державне управління ринком програмного забезпечення в Україні : автореф. дис. ... канд. наук з держ. упр. : 25.00.02. — Донецьк, 2010. — 20 с. — укp.
Рубрики:
Географічні рубрики:
|
6. |
Шинкаренко В. І. Експериментальні методи оцінки часової та функціональної ефективності алгоритмів у програмно-апаратних середовищах : автореф. дис. ... д-ра техн. наук : 01.05.03. — К., 2010. — 33 с. — укp.
Рубрики:
|
7. |
Парфірова Т. С. Експлікативне програмування у макрокомпозиційних середовищах : автореф. дис. ... канд. фіз.-мат. наук : 01.05.03. — К., 2011. — 19 с. — укp.
Рубрики:
|
8. |
Стіренко Засоби підвищення ефективності спеціального програмного забезпечення підготовки та редагування технічної документації : Автореф. дис... канд. техн. наук: 01.05.03. — К., 2007. — 20 с. — укp.
Рубрики:
|
9. |
Ляхов О.Л. Інтелектуалізація розв'язування наукових і прикладних задач на основі методів комп'ютерної алгебри : Автореф. дис... д-ра техн. наук: 01.05.03. — К., 2004. — 35 с.: рис. — укp.
Рубрики:
|
10. |
Лещинська О.Л. Інтелектуальні методи синтезу семантичних моделей програм : автореф. дис... канд. техн. наук: 05.13.23. — Х., 2009. — 19 с. — укp.
Рубрики:
|
11. |
Петрик В. Л. Інформаційна технологія верифікації програмного забезпечення інформаційно-управляючих систем на основі дескрипторної моделі : автореф. дис. ... канд. техн. наук : 05.13.06. — Х., 2009. — 19 с. — укp.
Рубрики:
|
12. |
Одокієнко С.М. Комп'ютерна реалізація непараметричних моделей динамічних об'єктів : Автореф. дис... канд. техн. наук: 01.05.02. — Черкаси, 2007. — 20 с. — укp.
Рубрики:
|
13. |
Кутельмах Р. К. Математичне та програмне забезпечення для розв'язування задачі комівояжера великих розмірностей : автореф. дис. ... канд. техн. наук : 01.05.03. — Л., 2011. — 20 с. — укp.
Рубрики:
|
14. |
Карпусь І.В. Метамодельні методи підвищення ефективності програмних систем : автореф. дис... канд. техн. наук: 01.05.03. — К., 2008. — 21 с. — укp.
Рубрики:
|
15. |
Черниш О.О. Метод вибору класу архітектур програмного забезпечення на основі аналізу ієрархій : автореф. дис... канд. техн. наук: 01.05.03. — К., 2009. — 20 с. — укp.
Рубрики:
|
16. |
Шадхін В.Ю. Метод захисту програмних засобів від прихованого сканування в комп'ютерних системах : автореф. дис... канд. техн. наук: 05.13.05. — Черкаси, 2009. — 20 с. — укp.
Рубрики:
|
17. |
Нечай О. С. Метод та засіб моніторингу дефектів проектування об'єктно-орієнтованого програмного забезпечення : автореф. дис. ... канд. техн. наук : 01.05.03. — К., 2010. — 20 с. — укp.
Рубрики:
|
18. |
Авраменко О.А. Метод та засоби редокументування успадкованого програмного забезпечення : автореф. дис... канд. техн. наук: 01.05.03. — К., 2008. — 16 с. — укp.
Рубрики:
|
19. |
Ніколаєвська О. А. Методи дослідження та розв'язування задачі зважених найменших квадратів з наближеними вихідними даними : автореф. дис. ... канд. фіз.-мат. наук : 01.05.02. — К., 2010. — 15 с.: a-рис. — укp.
Рубрики:
|
20. |
Яцишин В. В. Методи і засоби забезпечення та контролю якості програмних систем : автореф. дис. ... канд. техн. наук : 01.05.03. — К., 2011. — 20 с.: рис., табл. — укp.
Рубрики:
|
| |