Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>U=З970.6-02<.>) |
Загальна кількість знайдених документів : 3
Представлено документи з 1 до 3
|
1. | Р81776 Пеньков, Анатолий Павлович. Проектные модели вычислительных систем обработки данных [Текст] / А. П. Пеньков, А. А. Литвинов. - Днепропетровск : Навчальна книга, 1997. - 15 с. - ISBN 966-7056-22-8Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Литвинов, Александр Анатольевич
Видання зберігається у :
| 2. | ДС113948 Сирота, Олена Петрівна. Автоматизація аналізу несуперечності в задачах верифікації при проектуванні автоматизованих систем обробки інформації [Текст] : дис. ... канд. техн. наук : 05.13.06 / Сирота Олена Петрівна ; Нац. техн. ун-т України "Київ. політехн. ін-т". - К., 2009. - 222 арк. : рис., табл. - Бібліогр.: арк. 154-171.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: "Київський політехнічний інститут", національний технічний університет України
Видання зберігається у :
Основний фонд
| 3. | РА368244 Сирота, Олена Петрівна. Автоматизація аналізу несуперечності в задачах верифікації при проектуванні автоматизованих систем обробки інформації [Текст] : автореф. дис... канд. техн. наук: 05.13.06 / Сирота Олена Петрівна ; Національний технічний ун-т України "Київський політехнічний ін-т". - К., 2009. - 20 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Національний технічний університет України "Київський політехнічний інститут" (Київ)
Видання зберігається у :
Основний фонд
|
|
|