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

Моделювання та оптимізація доступу до інформації файлів баз даних Мельничин Андрій Володимирович	2009
Алгебраїчні методи верифікації асинхронних паралельних систем Потієнко Степан Валерійович	2009
Теорія дескриптивних середовищ та її застосування Редько Ігор Володимирович	2009
Метод керованої об'єктом реінженерії програмного забезпечення авіаційних тренажерів Сидоров Євген Миколайович	2009
Формалізація моделі "сутність-зв'язок": типи сутностей, типи зв'язків та їх обмеження Сільвейструк Людмила Миколаївна	2009
Програмні засоби дослідження багатозв'язних динамічних систем, які описуються інтегральними рівняннями Тихоход Володимир Олександрович	2009
Метод вибору класу архітектур програмного забезпечення на основі аналізу ієрархій Черниш Ольга Олександрівна	2009
Методика оцінювання однорідної обробки даних на кластерних комплексах Ющенко Руслан Андрійович	2009
Високопаралельні алгоритми та засоби для розв'язання задач масових арифметичних і логічних обчислень Яджак Михайло Степанович	2009
Метод та засоби редокументування успадкованого програмного забезпечення Авраменко Олена Анатоліївна	2008
Методи та засоби ефективної оргацзації програмного забезпечення інформаційно-аналітичних систем (для фінансових установ) Буханцов Сергій Миколайович	2008
Підвищення ефективності математичного і програмного забезпечення редактора формул алгоритмів Василюк Андрій Степанович	2008
Методи і засоби підвищення ефективності систем моніторингу безпеки в комп'ютерних системах і мережах Волокита Артем Миколайович	2008
Побудова інструментальних програмних систем автоматизації тестування знань в гібридних інтелектуальних середовищах на основі агентних технологій Гадецька Зоя Митрофанівна	2008
Математичне та програмне забезпечення систем дистанційного мережевоцентричного навчання Голощук Роман Олегович	2008
Програмні інструментальні засоби перетворення математичних моделей динамічних об'єктів Дячук Олександр Анатолійович	2008
Метамодельні методи підвищення ефективності програмних систем. Карпусь Ігор Васильович	2008
Категорні методи в теорії мовних перетворювачів Мейтус Володимир Юлійович	2008
Методи та засоби позиціонування сайтів в системі World Wide Web Пелещишин Андрій Миколайович	2008
Моделі і методи експертного оцінювання у життєвому циклі програмних систем. Слабоспицька Ольга Олександрівна	2008
Прикладна програмна система оцінювання знань для комп'ютерного тестування Чабан Ксенія Олегівна	2008
Управління процесом символьних перетворень при розв'язанні задач комп'ютерної алгебри Швалюк Тетяна Миколаївна	2008
Методи комп'ютерної алгебри та символьних перетворень при проектуванні математичних систем учбового призначення Песчаненко Володимир Сергійович	2007
Програмні засоби підтримки прийняття управлінських рішень щодо захисту інформації у автоматизованих системах Петрашенко Андрій Васильович	2007
Средства повышения эффективности специального программного обеспечения подготовки и редактирования технической документации Стиренко Сергей Григорьевич	2007
Засоби підвищення ефективності спеціального програмного забезпечення підготовки та редагування технічної документації Стіренко Сергій Григорович	2007
Дослідження методів побудови сервісно-орієнтованих систем автоматизації електронного навчання Холод Денис Володимирович	2007
Метод та засоби експертного оцінювання властивостей повторно використовуваних компонентів програмного забезпечення Хоменко Володимир Анатолійович	2007
Методи добування тематичної інформації з глобальної мережі на основі агентного підходу Шевченко Олександр Володимирович	2007
Адаптивная технология автоматизированного производства программных систем: модели, алгоритмы и средства Амонс Александр Анатольевич	2006
Адаптивна технологія автоматизованого виробництва програмних систем: моделі, алгоритми і засоби Амонс Олександр Анатолійович	2006
Автоматизована система розпаралелювання послідовних програм для паралельних обчислювачів з розподіленою пам'яттю Борисов Євген Сергійович	2006
Моделі та методи створення і супроводу високопродуктивного розподіленого навчального середовища Глибовець Микола Миколайович	2006
Интеллектуализация и упорядочение интерфейсов систем электронного документооборота Гречко Анастасия Валериевна	2006
Інтелектуалізація та впорядкування інтерфейсів систем електронного документообігу Гречко Анастасія Валеріївна	2006
Методи та засоби підвищення ефективності передачі даних в захищених комунікаційних середовищах Дарвіш Луай	2006
РОЗРОБКА ПАРКС-JAVA ТЕХНОЛОГІЇ ПАРАЛЕЛЬНОГО КОМП’ЮТЕРНИХ МЕРЕЖАХ Дерев’янченко Олександр Валериевич	2006
Методи та засоби пiдвищення ефективностi передачi даних в захищених комунiкацiйних середовищах Луай Дарвiш	2006
Композиційні методи специфікації та верифікації програмних систем Панченко Тарас Володимирович	2006
Дослідження систем з нечіткою логікою в задачах прогнозування й класифікації Фатма М Саваєє	2006
Метод построения программного обеспечения систем дистанционного обучения Хальдун Дакак Набиль	2006
Метод побудови програмного забезпечення систем дистанційного навчання Хальдун Дакак Набіль	2006
Метод и средства оценивания свойств повторно используемых компонентов программного обеспечения Хоменко Владимир Анатольевич	2006
Комбинированный метод и средства обнаружения вторжений на основе эволюционных механизмов искусственного иммунитета Ху Чженбин	2006
Комбінований метод та засоби виявлення вторгнень на основі еволюційних механізмів штучного імунітету Ху Чженбін	2006
Методы и средства алгебраического программирования в разработке математических программных систем Волков Владислав Анатольевич	2005
Методи та засоби алгебраїчного програмування в розробці математичних програмних систем Волков Владислав Анатолійович	2005
Локальні алгоритми та їх ефективна реалізація в багатопроцесорних обчислювальних системах Гулаєва Наталія Михайлівна	2005
Методы и средства повышения эффективности передачи данных в защищенных коммуникационных средах Дарвиш Луай	2005
Розробка ПАРКС-JAVA технології паралельного програмування на комп'ютерних мережах Дерев'янченко Олександр Валерійович	2005
Кероване проектування документообігу в управлінських інформаційних системах Задорожна Наталія Тифофіївна	2005
Логіко-алгоритмічний аналіз процесів авторизації в динамічних коаліційних системах Зубенко Антон Віталійович	2005
Моделі і методи інженерної якості програмних систем на ранніх стадіях життєвого циклу Коваль Галина Іванівна	2005
Моделі і методи інженерії якості програмних систем на ранніх стадіях життєвого циклу Коваль Галина Іванівна	2005
Моделі і методи інженерії тестування програмних систем в умовах обмежених ресурсів Коротун Тетяна Михайлівна	2005
Программные средства моделирования модульных нейронных сетей и их применение Куссуль Алла Александровна	2005
Програмні засоби моделювання модульних нейронних мереж та їх використання Куссуль Алла Олександрівна	2005
Верификация и тестирование интерактивных систем, специфицированных базовыми протоколами Летичевский Александр Александрович	2005
Верифікація та тестування інтерактивних систем, специфікованих за допомогою базових протоколів Летичевський Олександр Олександрович	2005
Аналіз та верифікація MSC-систем за допомогою мереж Петрі Матвєєва Людмила Євгенівна	2005
Исследование свойств цифровых деревьев с адаптивным ветвлением Резник Юрий Александрович	2005
Дослідження властивостей цифрових дерев з адаптивним гілкуванням Резнік Юрій Олександрович	2005
Методи та програмні засоби сервісів мережних навчальних комплексів Ткаченко Олексій Миколайович	2005
Розробка інтегрованих алгебро-алгоритмічних моделей: елементи теорії, інструментарій, застосування Яценко Олена Анатоліївна	2005
Кероване проектування документообігу в управлінських інформаційних системах Задорожна Наталія Тимофіївна	2004
Управління ключовою інформацією в системах захисту групових комунікацій Лук'янов Дмитро Олександрович	2004
Інтелектуалізація розв'язування наукових і прикладних задач на основі методів комп'ютерної алгебри Ляхов Олександр Логвинович	2004
Методы и средства реинженерии мобильных приложений с графическим интерфейсом Пантелеймонов Андрей Анатольевич	2004
Методи та засоби реінженерії мобільних застосувань із графічним інтерфейсом Пантелеймонов Андрій Анатолійович	2004
Програмне забезпечення для автоматизації управління потоками обробки даних в оперативно-організаційних системах Соболь Хенрика	2004

[0] [1] [2] [3]

Мистецтвознавство
Геолого-мінералогічні
Сільськогосподарські

Економічні
Історичні
Філософські

Юридичні
Філологічні
Географічні

Педагогічні
Медичні
Фармацевтичні

Математичні
Ветеринарні
Архітектура

Психологічні
Військові
Соціологічні

Технічні
Політичні
Право

Фізика
Хімічні
Біологічні

Фізичне виховання
Державне управління
Національна безпека