Оберіть мову
Ukrainian
Arabic
Armenian
Azerbaijani
Belarusian
Bulgarian
Chinese (Simplified)
Chinese (Traditional)
Czech
Danish
Dutch
English
Estonian
Finnish
French
Georgian
German
Greek
Hebrew
Hindi
Hungarian
Icelandic
Irish
Italian
Japanese
Korean
Latvian
Lithuanian
Norwegian
Persian
Polish
Portuguese
Romanian
Russian
Serbian
Slovak
Slovenian
Spanish
Swahili
Swedish
Простий
пошук
Розширений
пошук
Покажчики
Професійний
пошук
Рубрикатор
НБУВ
Розподілений
пошук
Бази даних
Автореферати дисертацій - результати пошуку
Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Ключові слова (без закінчення)
Автор (тільки прізвище)
Назва
Рік видання
Сортувати знайдені документи за:
автором
назвою
роком видання
видом документа
Знайдено в інших БД:
Книжкові видання та компакт-диски (69)
Журнали та продовжувані видання (1)
Реферативна база даних (188)
Пошуковий запит:
(<.>U=З973-018.025$<.>)
Загальна кількість знайдених документів
:
8
Представлено документи
з 1 до 8
1.
Коротун Т.М.
Моделі і методи інженерії тестування програмних систем в умовах обмежених ресурсів
: Автореф. дис... канд. фіз.-мат. наук:
01.05.03
. — К., 2005. — 19 с.: рис. — укp.
Рубрики:
Випробування і налагодження програм
2.
Панченко Т.В.
Композиційні методи специфікації та верифікації програмних систем
: Автореф. дис... канд. фіз.-мат. наук:
01.05.03
. — К., 2006. — 17 с. — укp.
Рубрики:
Випробування і налагодження програм
3.
Колчин О.В.
Розробка інструментальних засобів для перевірки формальних моделей асинхронних систем
: автореф. дис... канд. фіз.-мат. наук:
01.05.03
. — К., 2009. — 16 с. — укp.
Рубрики:
Випробування і налагодження програм
4.
Говорущенко Т.О.
Підвищення достовірності процесу тестування програмних продуктів на основі нейромережних інформаційних технологій
: автореф. дис... канд. техн. наук:
05.13.06
. — Л., 2007. — 20 с. — укp.
Рубрики:
Випробування і налагодження програм
5.
Потієнко С.В.
Алгебраїчні методи верифікації асинхронних паралельних систем
: автореф. дис... канд. фіз.-мат. наук:
01.05.03
. — К., 2009. — 16 с. — укp.
Рубрики:
Випробування і налагодження програм
6.
Лисенко С. М.
Адаптивна інформаційна технологія діагностування комп'ютерних систем на наявність троянських програм
: автореф. дис. ... канд. техн. наук :
05.13.06
. — Т., 2010. — 20 с.: a-рис. — укp.
Рубрики:
Випробування і налагодження програм
7.
Летичевський О.О.
Верифікація та тестування інтерактивних систем, специфікованих за допомогою базових протоколів
: Автореф. дис... канд. фіз.-мат. наук:
01.05.03
. — К., 2005. — 14 с. — укp.
Рубрики:
Випробування і налагодження програм
8.
Матвєєва Л.Є.
Аналіз та верифікація MSC-систем за допомогою мереж Петрі
: Автореф. дис... канд. фіз.-мат. наук:
01.05.03
. — К., 2005. — 17 с. — укp.
Рубрики:
Випробування і налагодження програм
Відділ інформаційно-комунікаційних технологій
Пам`ятка користувача
Всі права захищені ©
Національна бібліотека України імені В. І. Вернадського