Простийпошук |
Розширенийпошук |
Покажчики
|
Професійний пошук |
Рубрикатор НБУВ |
Розподілений пошук |
Бази даних
Автореферати дисертацій - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
| Сортувати знайдені документи за: | |||
| автором | назвою | роком видання | видом документа |
| Знайдено в інших БД: | Книжкові видання та компакт-диски (69) | Журнали та продовжувані видання (1) | Реферативна база даних (188) |
Пошуковий запит: (<.>U=З973-018.025$<.>) | |||
|
Загальна кількість знайдених документів : 8 Представлено документи з 1 до 8 |
|||
| 1. | Лисенко С. М. Адаптивна інформаційна технологія діагностування комп'ютерних систем на наявність троянських програм : автореф. дис. ... канд. техн. наук : 05.13.06. — Т., 2010. — 20 с.: a-рис. — укp. Рубрики: | ||
| 2. | Потієнко С.В. Алгебраїчні методи верифікації асинхронних паралельних систем : автореф. дис... канд. фіз.-мат. наук: 01.05.03. — К., 2009. — 16 с. — укp. Рубрики: | ||
| 3. | Матвєєва Л.Є. Аналіз та верифікація MSC-систем за допомогою мереж Петрі : Автореф. дис... канд. фіз.-мат. наук: 01.05.03. — К., 2005. — 17 с. — укp. Рубрики: | ||
| 4. | Летичевський О.О. Верифікація та тестування інтерактивних систем, специфікованих за допомогою базових протоколів : Автореф. дис... канд. фіз.-мат. наук: 01.05.03. — К., 2005. — 14 с. — укp. Рубрики: | ||
| 5. | Панченко Т.В. Композиційні методи специфікації та верифікації програмних систем : Автореф. дис... канд. фіз.-мат. наук: 01.05.03. — К., 2006. — 17 с. — укp. Рубрики: | ||
| 6. | Коротун Т.М. Моделі і методи інженерії тестування програмних систем в умовах обмежених ресурсів : Автореф. дис... канд. фіз.-мат. наук: 01.05.03. — К., 2005. — 19 с.: рис. — укp. Рубрики: | ||
| 7. | Говорущенко Т.О. Підвищення достовірності процесу тестування програмних продуктів на основі нейромережних інформаційних технологій : автореф. дис... канд. техн. наук: 05.13.06. — Л., 2007. — 20 с. — укp. Рубрики: | ||
| 8. | Колчин О.В. Розробка інструментальних засобів для перевірки формальних моделей асинхронних систем : автореф. дис... канд. фіз.-мат. наук: 01.05.03. — К., 2009. — 16 с. — укp. Рубрики: | ||
 |
| Відділ інформаційно-комунікаційних технологій |
 Пам`ятка користувача |