Електронний каталог науково-технічної бібліотеки ІФНТУНГ

• Класифікатори
• Каталог авторефератів дисертацій, не захищених при ІФНТУНГ

Математичне та програмне забезпечення обчислювальних машин і систем

Документи:

• Амонс, Олександр Анатолійович Адаптивна технологія автоматизованого виробництва програмних систем: моделі, алгоритми і засоби [Текст] : автореф. дис. на здобуття наук. ступеня канд. техн. наук : спец. 01.05.03 "Математичне та програмне забезпечення обчислювальних машин і систем" / Амонс Олександр Анатолійович ; Нац. техн. ун-т України "Київ. політехн. ін-т". – К., 2006. – 20 с. – 17-18.
• Борисов, Євген Сергійович Автоматизована система розпаралелювання послідовних програм для паралельних обчислювачів з розподіленою пам'яттю [Текст] : автореф. дис. на здобуття. наук. ступеня канд. фіз.-мат. наук : спец. 01.05.03 "Математичне та програмне забезпечення обчислювальних машин і систем" / Борисов Євген Сергійович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. – К., 2006. – 15 с. – 11.
• Волков, Владислав Aнатолійович Методи та засоби алгебраїчного програмування в розробці математичних програмних систем [Текст] : автореф. дис. на здобуття наук. ступеня канд. фіз.-мат. наук : спец. 01.05.03 "Математичне та програмне забезпечення обчислювальних машин і систем" / Волков Владислав Aнатолійович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. – К., 2005. – 16 с. – 12-14.
• Глибовець, Микола Миколайович Моделі та методи створення і супроводу високопродуктивного розподіленого навчального середовища [Текст] : автореф. дис. на здобуття наук. ступеня д-ра фіз.-мат. наук : спец. 01.05.03 "Математичне та програмне забезпечення обчислювальних машин і систем" / Глибовець Микола Миколайович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. – К., 2006. – 36 с. – 30-33.
• Гречко, Анастасія Валеріївна Інтелектуалізація та впорядкування інтерфейсів систем електронного документообігу [Текст] : автореф. дис. на здобуття наук. ступеня канд. фіз.-мат. наук : спец. 01.05.03 "Математичне та програмне забеспечення обчислювальних машин і систем" / Гречко Анастасія Валеріївна ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. – К., 2006. – 19 с. – 17-18.
• Дерев'янченко, Олександр Валерійович Розробка Паркс-JAVA технології паралельного програмування на комп'ютерних мережах [Текст] : автореф. дис. на здобуття наук. ступеня канд. фіз.-мат. наук : спец. 01.05.03 "Математичне та програмне забезпечення обчислювальних машин і систем" / Дерев'янченко Олександр Валерійович ; Київ. нац. ун-т ім. Тараса Шевченка. – К., 2005. – 20 с. – 18.
• Коваль, Галина Іванівна Моделі і методи інженерної якості програмних систем на ранніх стадіях життєвого циклу [Текст] : автореф. дис. на здобуття наук ступеня фіз.-мат. наук : спец. 01.05.03 "Математичне та програмне забезпечення обчислювальних машин і систем" / Коваль Галина Іванівна ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. – К., 2005. – 19 с. – 16-17.
• Куссуль, Алла Олександрівна Програмні засоби моделювання модульних нейронних мереж та їх використання [Текст] : автореф. дис. на здобуття наук. ступеня канд. техн. наук : спец. 01.05.03 "Математичне та програмне забезпечення обчислювальних машин і систем" / Куссуль Алла Олександрівна ; НАН України, Ін-т проблем мат. машин і систем. – К., 2005. – 20 с. – 17-18.
• Летичевський, Олександр Олександрович Верифікація та тестування інтерактивних систем, специфікованих за допомогою базових протоколів [Текст] : автореф. дис. на здобуття наук. ступеня канд. фіз.-мат. наук :спец. 01.05.03 "Математичне та програмне забезпечення обчислювальних машин і систем" / Летичевський Олександр Олександрович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. – К., 2005. – 14 с. – 11-12.
• Луай, Дарвіш Методи та засоби підвищення ефективності передачі даних в захищених комунікаційних середовищах [Текст] : автореф. дис. на здобуття наук. ступеня канд. техн. наук : спец. 01.05.03 "Математичне та програмне забеспечення обчислювальних машин и систем" / Луай Дарвіш ; Нац. техн. ун-т України "Київ. політехн ін-т". – К., 2006. – 20 с. – 17-18.
• Матвєєва, Людмила Євгенівна Аналіз та верифікація MSC-систем за допомогою мережі Петрі [Текст] : автореф. дис. на здобуття наук. ступеня канд. фіз.-мат. наук : спец. 01.05.03 "Математичне та програмне забезпечення обчислювальних машин і систем" / Матвєєва Людмила Євгенівна ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. – К., 2005. – 17 с. – 12-13.
• Панченко, Тарас Володимирович Композиційні методи специфікації та верифікації програмних систем [Текст] : автореф. дис. на здобуття наук. ступеня канд. фіз.-мат. наук : спец. 01.05.03 "Математичне та програмне забезпечення обчислювальних машин і систем" / Панченко Тарас Володимирович ; Київ. нац. ун-т ім. Тараса Шевченка. – К., 2006. – 17 с. – 13-14.
• Стіренко, Сергій Григорович Засоби підвищення ефективності спеціального програмного забезпечення підготовки та редагування технічної документації [Текст] : автореф. дис. на здобуття наук. ступеня канд. техн. наук : спец. 01.05.03 "Математичне та програмне забезпечення обчислювальних машин і систем" / Стіренко Сергій Григорович ; Нац. техн. ун-т України, "Київ. політехн. ін-т". – К., 2007. – 20 с. – 15-18.
• Хальдун, Набіль Дакак Метод побудови програмного забезпечення систем дистанційного навчання [Текст] : автореф. дис. на здобуття наук. ступеня канд. техн. наук : спец. 01.05.03 "Математичне та програмне забезпечення обчислювальних машин і систем" / Хальдун Набіль Дакак ; Нац. авіац. ун-т. – К., 2006. – 17 с. – 14.
• Хоменко, Володимир Анатолійович Метод та засоби експертного оцінювання властивостей повторно використовуваних компонентів програмного забезпечення [Текст] : автореф. дис. на здобуття наук. ступеня канд. техн. наук : спец. 01.05.03 "Математичне та програмне забезпечення обчислювальних машин і систем" / Хоменко Володимир Анатолійович ; Нац. авіац. ун-т. – К., 2006. – 16 с. – 13.
• Шевченко, Олександр Володимирович Методи добування тематичної інформації з глобальної мережі на основі агентного підходу [Текст] : автореф. дис. на здобуття наук. ступеня канд. фіз.-мат. наук : спец. 01.05.03 "Математичне та програмне забезпечення обчислювальних машин і систем" / Шевченко Олександр Володимирович ; Київ. нац. ун-т ім. Тараса Шевченка. – К., 2007. – 19 с. – 15-16.