Простий пошук
Розширений пошук
Алфавітні покажчики

Бази даних

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

Віртуальна довідка
Тематичний інтернет-навігатор
Наукова електронна бібліотека
Автореферати дисертацій
Реферативна база даних
Книжкові видання та компакт-диски
Журнали та продовжувані видання
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Автореферати дисертацій (1)Реферативна база даних (1)
Пошуковий запит: (<.>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.

Рубрики:
 Проектування систем оброблення даних 




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

 

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