Простийпошук |
Розширенийпошук |
Покажчики
|
Професійний пошук |
Рубрикатор НБУВ |
Розподілений пошук |
Бази даних
Автореферати дисертацій - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
| Сортувати знайдені документи за: | |||
| автором | назвою | роком видання | видом документа |
| Знайдено в інших БД: | Книжкові видання та компакт-диски (133) | Журнали та продовжувані видання (3) | Реферативна база даних (316) |
Пошуковий запит: (<.>U=З973-018.10$<.>) | |||
|
Загальна кількість знайдених документів : 11 Представлено документи з 1 до 11 |
|||
| 1. | Петрик В. Л. Інформаційна технологія верифікації програмного забезпечення інформаційно-управляючих систем на основі дескрипторної моделі : автореф. дис. ... канд. техн. наук : 05.13.06. — Х., 2009. — 19 с. — укp. Рубрики: | ||
| 2. | Карпусь І.В. Метамодельні методи підвищення ефективності програмних систем : автореф. дис... канд. техн. наук: 01.05.03. — К., 2008. — 21 с. — укp. Рубрики: | ||
| 3. | Шадхін В.Ю. Метод захисту програмних засобів від прихованого сканування в комп'ютерних системах : автореф. дис... канд. техн. наук: 05.13.05. — Черкаси, 2009. — 20 с. — укp. Рубрики: | ||
| 4. | Нечай О. С. Метод та засіб моніторингу дефектів проектування об'єктно-орієнтованого програмного забезпечення : автореф. дис. ... канд. техн. наук : 01.05.03. — К., 2010. — 20 с. — укp. Рубрики: | ||
| 5. | Яцишин В. В. Методи і засоби забезпечення та контролю якості програмних систем : автореф. дис. ... канд. техн. наук : 01.05.03. — К., 2011. — 20 с.: рис., табл. — укp. Рубрики: | ||
| 6. | Дідковська М.В. Методи оцінки та засоби підвищення надійності програмного забезпечення : Автореф. дис... канд. техн. наук: 05.13.06. — К., 2006. — 19 с. — укp. Рубрики: | ||
| 7. | Тарасюк О.М. Методи та інструментальні засоби метрико-ймовірнісної оцінки якості програмного забезпечення інформаційно-управляючих систем критичного застосування : Автореф. дис... канд. техн. наук: 05.13.06. — Х., 2004. — 20 с. — укp. Рубрики: | ||
| 8. | Коваль Г.І. Моделі і методи інженерної якості програмних систем на ранніх стадіях життєвого циклу : Автореф. дис... канд. фіз.-мат. наук: 01.05.03. — К., 2005. — 19 с. — укp. Рубрики: | ||
| 9. | Слабоспицька О.О. Моделі та методи експертного оцінювання у життєвому циклі програмних систем : автореф. дис... канд. фіз.-мат. наук: 01.05.03. — К., 2008. — 19 с. — укp. Рубрики: | ||
| 10. | Гордєєв О.О. Моделі, методи та інформаційна технологія оцінки якості програмного забезпечення на основі профілювання та засіву дефектів : Автореф. дис... канд. техн. наук: 05.13.06. — Х., 2007. — 20 с. — укp. Рубрики: | ||
| 11. | Одарущенко О.Б. Моделювання відмовостійких комп'ютерних систем з урахуванням зміни параметрів потоків відмов і відновлень програмних засобів : автореф. дис... канд. техн. наук: 01.05.02. — Х., 2007. — 19 с. — укp. Рубрики: | ||
 |
| Відділ інформаційно-комунікаційних технологій |
 Пам`ятка користувача |