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