Простийпошук |
Розширенийпошук |
Покажчики
|
Професійний пошук |
Рубрикатор НБУВ |
Розподілений пошук |
Бази даних
Автореферати дисертацій - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
| Знайдено в інших БД: | Книжкові видання та компакт-диски (5) | Реферативна база даних (1) |
Пошуковий запит: (<.>U=З970.6-02$<.>) | |||
|
Загальна кількість знайдених документів : 1 |
|||
| 1. | Сирота О.П. Автоматизація аналізу несуперечності в задачах верифікації при проектуванні автоматизованих систем обробки інформації : автореф. дис... канд. техн. наук: 05.13.06. — К., 2009. — 20 с. — укp. Рубрики: | ||
 |
| Відділ інформаційно-комунікаційних технологій |
 Пам`ятка користувача |