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