Бази даних


Книжкові видання та компакт-диски - результати пошуку


Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"

Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Автореферати дисертацій (1)Реферативна база даних (1)
Пошуковий запит: (<.>U=З970.6-02<.>)
Загальна кількість знайдених документів : 3
Представлено документи з 1 до 3
1.
РА368244
Сирота, Олена Петрівна.
Автоматизація аналізу несуперечності в задачах верифікації при проектуванні автоматизованих систем обробки інформації [Текст] : автореф. дис... канд. техн. наук: 05.13.06 / Сирота Олена Петрівна ; Національний технічний ун-т України "Київський політехнічний ін-т". - К., 2009. - 20 с.

Рубрикатор НБУВ:
Тематичні рубрики:


Дод. точки доступу:
Національний технічний університет України "Київський політехнічний інститут" (Київ)

Видання зберігається у :
Основний фонд

2.
Р81776
Пеньков, Анатолий Павлович.
Проектные модели вычислительных систем обработки данных [Текст] / А. П. Пеньков, А. А. Литвинов. - Днепропетровск : Навчальна книга, 1997. - 15 с. - ISBN 966-7056-22-8

Рубрикатор НБУВ:
Тематичні рубрики:


Дод. точки доступу:
Литвинов, Александр Анатольевич

Видання зберігається у :

3.
ДС113948
Сирота, Олена Петрівна.
Автоматизація аналізу несуперечності в задачах верифікації при проектуванні автоматизованих систем обробки інформації [Текст] : дис. ... канд. техн. наук : 05.13.06 / Сирота Олена Петрівна ; Нац. техн. ун-т України "Київ. політехн. ін-т". - К., 2009. - 222 арк. : рис., табл. - Бібліогр.: арк. 154-171.

Рубрикатор НБУВ:
Тематичні рубрики:


Дод. точки доступу:
"Київський політехнічний інститут", національний технічний університет України

Видання зберігається у :
Основний фонд

 
Відділ інформаційно-комунікаційних технологій
Пам`ятка користувача

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