Простий пошук
Розширений пошук
Алфавітні покажчики

Бази даних

Автореферати дисертацій - результати пошуку

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

Всі права захищені © Національна бібліотека України імені В. І. Вернадського