Простий пошук
|
Розширений пошук
|
Алфавітні покажчики
|
Бази даних
Автореферати дисертацій - результати пошуку
Віртуальна довідкаТематичний інтернет-навігаторНаукова електронна бібліотекаАвтореферати дисертаційРеферативна база данихКнижкові видання та компакт-дискиЖурнали та продовжувані видання
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
| Формат представлення знайдених документів: | ||
| повний | стислий | |
| Знайдено в інших БД: | Реферативна база даних (13) |
Пошуковий запит: (<.>A=Петрик В. Л.$<.>) | ||||
|
Загальна кількість знайдених документів : 1 |
||||
Категорія: Енергетика. Радіоелектроніка | ||||
| 1. | Петрик В. Л. Інформаційна технологія верифікації програмного забезпечення інформаційно-управляючих систем на основі дескрипторної моделі: автореф. дис. ... канд. техн. наук : 05.13.06 / В. Л. Петрик ; "Харківський авіаційний ін-т", національний аерокосмічний ун-т ім. М.Є.Жуковського . — Х., 2009. — 19 с. — укp. Індекс рубрикатора НБУВ: З965.984-018.1 + З973-018.10 Шифр НБУВ: РА369498 Пошук видання у каталогах НБУВ Рубрики: | |||
Всі права захищені © Національна бібліотека України імені В. І. Вернадського