Поиск по сайту:

Физико-математические науки

Диссертации из НБУ.

Раздел: 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем / Назад, ко всем разделам НБУ.

idКод спец-тиГодТемаАвтор
130701.05.0328.04.2000Система засобів ситезуючого програмування та її використання для фінансово-економічних задач підприємстваЄфремов Юрій Миколайович
148601.05.0326.05.2000Методи правдоподібного виведення на основі представлення атрибутивних моделей знань в семантичних мережахМоскалькова Надія Михайлівна
414601.05.0323.02.2001Інструментарій проектування інтелектуальних інтерфейсів користувачаПшонківська Ірина Миколаївна
531601.05.0325.05.2001Методи побудови експертних ситем з асоціативними моделями подання знаньДудка Тетяна Миколаївна
540701.05.0330.05.2001Методи застосування таблиць рішень у системах формального виводу і програмних комплексахСамофалов Павло Леонідович
717301.05.0314.01.2002Моделі, методи та програмні засоби інформаційно-аналітичного ядра інтелектуальної системи для підтримки прийняття рішеньБрагинський Олег Леонідович
719701.05.0316.01.2002 Система дистанційного навчання та контролю знань на базі Internet-технологій в післядипломній освіті (на прикладі медичних вузів)Федорук Павло Іванович
976701.05.0312.09.2002Розробка адаптивного інтерфейсу користувача для програмного забезпечення наближення експериментальних даних.Ковальчук Андрiй Михайлович
1266501.05.0321.05.2003Дослідження методів удосконалення нейронної асоціативної пам'яті та її застосування в гібридних модульних нейромережахСичов Олександр Сергійович
1340601.05.0319.06.2003Побудова агентних моделей на основі керуючого просторуНагорний Віктор Анатолійович
1397801.05.03..Методи отримання та обробки кардинальних експертних оцінокЦиганок Віталій Володимирович
1429201.05.0320.10.2003Методи і засоби розробки спеціального програмного забезпечення для систем розподілу ресурсівІсса Айман Сарем
1541801.05.0318.12.2003Еталонні моделі символьної обробкиВінник Вадим Юрійович
1795201.05.03..Управління ключовою інформацією в системах захисту групових комунікацій.ЛУК'ЯНОВ ДМИТРО ОЛЕКСАНДРОВИЧ
2051601.05.0324.12.2004Кероване проектування документообігу в управлінських інформаційних системахЗадорожна Наталія Тифофіївна
2242201.05.03..Логіко-алгоритмічний аналіз процесів авторизації в динамічних коаліційних системахЗубенко Антон Віталійович
2292601.05.0316.06.2005Розробка інтегрованих алгебро-алгоритмічних моделей: елементи теорії, інструментарій, застосуванняЯценко Олена Анатоліївна
2309601.05.03..Дослідження властивостей цифрових дерев з адаптивним гілкуваннямРезнік Юрій Олександрович
2483701.05.03..Аналіз та верифікація MSC-систем за допомогою мереж ПетріМатвєєва Людмила Євгенівна
2510501.05.03..Верифікація та тестування інтерактивних систем, специфікованих за допомогою базових протоколівЛетичевський Олександр Олександрович
2520101.05.03..Методи та засоби алгебраїчного програмування в розробці математичних програмних системВолков Владислав Анатолійович
2531801.05.0323.12.2005Моделі і методи інженерії якості програмних систем на ранніх стадіях життєвого циклу.Коваль Галина Іванівна
2549601.05.0315.12.2005РОЗРОБКА ПАРКС-JAVA ТЕХНОЛОГІЇ ПАРАЛЕЛЬНОГО КОМП’ЮТЕРНИХ МЕРЕЖАХДерев’янченко Олександр Валериевич
2582201.05.0325.01.2006Програмні засоби моделювання модульних нейронних мереж та їх використанняКуссуль Алла Олександрівна
2659201.05.0327.03.2006Методи та засоби пiдвищення ефективностi передачi даних в захищених комунiкацiйних середовищахЛуай Дарвiш
2859501.05.0323.06.2006Метод побудови програмного забезпечення систем дистанційного навчанняХальдун Дакак Набіль
3180901.05.0323.02.2007Методи комп'ютерної алгебри та символьних перетворень при проектуванні математичних систем учбового призначенняПесчаненко Володимир Сергійович
3235601.05.03..Дослідження методів побудови сервісно-орієнтованих систем автоматизації електронного навчання.Холод Денис Володимирович
3961701.05.0304.07.2008Метод та засоби редокументування успадкованого програмного забезпеченняАвраменко Олена Анатоліївна
4114001.05.0312.11.2008Програмні інструментальні засоби перетворення математичних моделей динамічних об'єктівДячук Олександр Анатолійович
4141801.05.03..Методи та засоби ефективної оргацзації програмного забезпечення інформаційно-аналітичних систем (для фінансових установ)Буханцов Сергій Миколайович
4179801.05.0318.12.2008Метамодельні методи підвищення ефективності програмних систем.Карпусь Ігор Васильович
4185401.05.0318.12.2008Розробка алгоритмів та методів персоналізації для систем електронного навчанняГорностай Марія Павлівна
4305801.05.0325.03.1999Математичні та програмні засоби побудови мережевих навчальних інформаційних систем.Донченко Андрій Володимирович
4487301.05.03..Алгебраїчні основи та інструментальні засоби синтезу інтерактивних програмних середовищВінничук Ігор Петрович
4634101.05.0304.10.2001Теорія інтегрованих композиційно-номінативних моделей програм.Нікітченко Микола Степанович
4684201.05.03..Теорія програмних алгебр композиційного типу та її застосуванняБуй Дмитро Борисович
4788701.05.0314.05.2004Інтелектуалізація розв'язування наукових і прикладних задач на основі методів комп'ютерної алгебриЛяхов Олександр Логвинович
5057201.05.0327.03.2008Методи та засоби позиціонування сайтів в системі World Wide WebПелещишин Андрій Миколайович
5077001.05.03..Категорні методи в теорії мовних перетворювачівМейтус Володимир Юлійович
5111201.05.0326.12.2009Теорія дескриптивних середовищ та її застосуванняРедько Ігор Володимирович