Проблеми програмування (ч/з) [Текст] : наук. журн. — К. : Ін-т програмних систем НАН України.

• Автоматизированное вероятностно-алгебраическое моделирование надежности сложных систем [Текст] / Е.И. Сукач // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 89-98.
  
  
• Автоматизована розробка паралельної розподіленої системи обробки потокових даних [Текст] / Д.С. Тітов, А.Ю. Дорошенко, О.А. Яценко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 96-104.
  
  
• Автоматизоване проектування програм для розв'язання задачі метеорологічного прогнозування [Текст] / А.Ю. Дорошенко, П.А. Іваненко, О.М. Овдій, О.А. Яценко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 102-115.
  
  
• Автоматизований переклад з української мови на українську жестову мову: алгоритмічна реалізація [Текст] / Ю.В. Крак, О.В. Бармак, С.О. Романишин // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 285-294.
  
  
• Автоматична оптимізація виконання для задачі метеорологічного прогнозування [Текст] / П.А. Іваненко, А.Ю. Дорошенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 426-434.
  
  
• Автотьюнер та візуалізація для задачі метеорологічного прогнозування [Текст] / П.А. Іваненко, А.Ю. Дорошенко, О.М. Овдій // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 64-73.
  
  
• Агентна модель пошуку інформації на основі метафори бджолиного вулика [Текст] / С.С. Ремарович // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 70-77.
  
  
• Актуальные проблемы современной арифметики с плавающей запятой [Текст] / Р.А. Ющенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 52-62.
  
  
• Алгебра алгоритмов с данными и прогнозирование вычислительного процесса [Текст] / А.Е. Дорошенко, В.Г. Акуловский // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 3-10.
  
  
• Алгебра для описания данных в композиционных схемах алгоритмов [Текст] / В.Г. Акуловский // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 234-240.
  
  
• Алгебри квазіарних та бі-квазіарних реляцій [Текст] / М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 17-28.
  
  
• Алгоритм побудови шестивимірного тензора для задачі пошуку прихованих семантичних зв'язків в корпусах природномовних текстів [Текст] / Т.Г. Вознюк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 273-278.
  
  
• Алгоритм пошуку зв'язків і залежностей між даними Web-сторінок [Текст] / А.М. Глибовець // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 44-50.
  
  
• Анализ вычислительных ресурсов персональных компьютеров [Текст] / Р.Ю. Лопаткин, В.А. Иващенко, С.Н. Игнатенко, В.В. Куприенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 46-52.
  
  
• Анализ семантики естественно-языковых законодательных документов с использованием онтологии предметной области [Текст] / О.В. Лесько, Ю.В. Рогушина // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 58-71.
  
  
• Аналіз генетичних алгоритмів розв'язання задачі двовимірної ортогональної упаковки прямокутних об'єктів у напівнескінченну смугу [Текст] / М.М. Глибовець, Н.М. Гулаєва, І.О. Морозов // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 104-116.
  
  
• Аналіз ефективності реалізації арифметичних алгоритмів на мовах програмування С++ та Python [Текст] / А.К. Новококшенов // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 26-31.
  
  
• Аналіз систем нечіткої логіки апроксимації нечітких функцій [Текст] / Т.С. Щегельський, О.О. Провотар, О.І. Провотар // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 43-49.
  
  
• Аналітичний огляд методів і засобів інформаційного пошуку в Semantic Web [Текст] / І.Ю. Гришанова // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 51-72.
  
  
• Архітектура та функціональні можливості системи ситуаційного керування охороною зон відповідальності [Текст] / В.А. Алексеєв, В.В. Мостовий, В.С. Терещенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 96-104.
  
  
• Аспекты моделирования в системе Гомеопат [Текст] / А.А. Провотар, О.А. Провотар // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 63-67.
  
  
• Аціклічність та замкненість макрокомпозицій [Текст] / В.Ю. Вінник, Т.С. Парфірова // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 18-24.
  
  
• Багаторівнева адитивно-мультиплікативна модель оцінки узагальнених показників при стратегічному управлінні на основі системи збалансованих показників [Текст] / М.Ю. Степанюк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С.108-115.
  
  
• Базові основи індустрії програм, обчислень і даних [Текст] / К.М. Лавріщева // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 50-62.
  
  
• Блочний алгоритм перетворень Хаустхолдера для комп'ютерів гібридної архітектури [Текст] / О.В. Попов, О.В. Рудич // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 99-106.
  
  
• Вдосконалення прогнозу щільності залишкових дефектів програмних систем за допомогою Баєсової мережі та дерева цінності [Текст] / О.О. Слабостицька // Проблеми програмування (ч/з) [Текст] : наук. журн. — С.50-58.
  
  
• Верификация программ: состояние, проблемы, экспериментальные результаты [Текст] / А.Н. Максимец // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 53-63.
  
  
• Використання активності користувача відкритих Wiki-ресурсів для поповнення його онтологічної моделі [Текст] / Ю.В. Рогушина, І.Ю. Гришанова // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 204-210.
  
  
• Використання грід-технологій для аналізу соціальних мереж [Текст] / В.В. Ткаченко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С.73-84.
  
  
• Використання концептуальних та ретроспективних знань для зниження ризиків у дельфі-процедурах стратегічного менеджменту [Текст] / О.П. Ільїна // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 33-42.
  
  
• Використання онтологій для персоніфікованого пошуку знань у природномовних текстів [Текст] / Ю.В. Рогушина // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 73-88.
  
  
• Використання онтологічного аналізу для визначення компетентності науковців в певній предметній області [Текст] / Ю.В. Рогушина // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 81-96.
  
  
• Використання технік AI-планування для вирішення задач композіції веб-сервісів [Текст] / О.В. Захарова // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 196-203.
  
  
• Відношення логічного наслідку в логіках квазіарних предикатів [Текст] / С.С. Шкільняк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 29-43.
  
  
• Внешние множественные операции табличной алгебры бесконечных таблиц [Текст] / И.М. Глушко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 11-16.
  
  
• Возведение в степень n и вычисление корня степени n больших чисел на основе рекуррентных соотношений [Текст] / А.Н. Терещенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 13-29.
  
  
• Высокоточное кластерное решение задачи о дифракции волн сдвига на системе отверстий в полубесконечной изотропной среде с защемленной границей [Текст] / Б.Е. Панченко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 121-131.
  
  
• Высокоуровневые средства автоматизации проектирования параллельных алгоритмов [Текст] / А.Е. Дорошенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С.19-29.
  
  
• Генерация SQL-запросов в задаче согласования данных электронного документа и таблиц базы данных [Текст] / С.Ю. Марулин // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 160-165.
  
  
• Генерувальне програмування програмних систем і їх сімейств [Текст] / К.М. Лавріщева // Проблеми програмування (ч/з) [Текст] : наук. журн. — С.3-16.
  
  
• Гібридна модель автотьюнінгу з використанням статистичного моделювання [Текст] / А.Ю. Дорошенко, П.А. Іваненко, О.С. Новак // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 27-32.
  
  
• Дефинитологические основания сущностной платформы [Текст] / В.Н. Редько, И.В. Редько, Н.В. Гришко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 68-76.
  
  
• Деякі підходи до обчислення умовної невизначеності [Текст] / О.І. Провотар, О.В. Лапко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 443-449.
  
  
• Доведення властивості коректної роботи банківської системи виплати грошових переказів [Текст] / Ю.А. Остаповська, Т.В. Панченко, Н.В. Поліщук, М.О. Картавов // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 119-132.
  
  
• До задачі оптимізації завантаженості ресурсів обчислювального кластера з вузлами у вигляді віртуальних машин [Текст] / С.Д. Погорілий, І.В. Білоконь // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 93-101.
  
  
• Дослідження паралельного алгоритму побудови діаграми Вороного на площині [Текст] / К.А. Березовський // Проблеми програмування (ч/з) [Текст] : наук. журн. — С.28-35.
  
  
• Дослідження та аналіз міжнародного та національного підходів побудови системи захисту інформації в грід [Текст] / О.М. Бороська, Є.С. Родін, І.П. Сініцин // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 99-109.
  
  
• Дослідження шаблонів синхронізації та їх використання в технології GPGPU [Текст] / С.Д. Погорілий, О.А. Верещинський // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 52-56.
  
  
• До створення Інтернет-порталу надання послуг метеорологічного прогнозування на мультипроцесорній платформі [Текст] / А.Ю. Дорошенко, П.А. Іваненко, О.М. Овдій // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 24-32.
  
  
• Еволюційне програмування [Текст] / М.М. Глибовець, Н.М. Гулаєва // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 3-13.
  
  
• Еволюційні ігри в ТСР мережах з політиками обмеження швидкості [Текст] / О.П. Ігнатенко, О.А. Молчанов // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 33-47.
  
  
• Евристичний алгоритм морфолексичного аналізу для невідомих слів [Текст] / В.Ю. Тарануха // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 279-284.
  
  
• Ефективний емпіричний метод дедублікації на файловому рівні [Текст] / Ю.Р. Піговський // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 26-32.
  
  
• Завадостійкий код на основі скінченного автомата та подання чисел у двобазисній системі числення [Текст] / І.О. Завадський // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 205-211.
  
  
• Задача проверки Т-выполнимости для логического языка VL1 системы VRS [Текст] / В.Г. Тимофеев // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 251-259.
  
  
• Задействование квалифицированной инфраструктуры открытых ключей в Украине [Текст] / А.О. Мелащенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 79-86.
  
  
• Змішана тематично-сутнісна онтологія у покращеній тематичній векторній моделі [Текст] / А.С. Шабінський // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 182-187.
  
  
• Имитационная модель и ее программная реализация планирования ресурсов грид-системы [Текст] / С.В. Минухин, С.В. Знахур // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 133-142.
  
  
• Инструментарий создания игровой логики [Текст] / В.В. Кожаев // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 64-74.
  
  
• Интеграция дискриптивных логик с операциями над ролями с реляционной моделью данных [Текст] / И.С. Чистякова // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 58-65.
  
  
• Интеграция семейства расширенных дескриптивных логик с реляционной моделью данных [Текст] / В.А. Резниченко, И.С. Чистякова // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 38-47.
  
  
• Инфраструктура для трансформации ХМL-моделей [Текст] / Н.Н. Глибовец, В.М. Федорченко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 52-57.
  
  
• Использование карт Кохонена для ускорения фрактального сжатия изображений [Текст] / В.Г. Прохоров // Проблеми програмування (ч/з) [Текст] : наук. журн. — С.92-98.
  
  
• Использование онтологий для анализа семантики естественно-языковых текстов [Текст] / О.М. Лесько // Проблеми програмування (ч/з) [Текст] : наук. журн. — С.59-65.
  
  
• Итеративный подход к анализу естественно-языковых текстов: логический аспект [Текст] / С.Л. Крывый, Д.С. Бибиков // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 10-17.
  
  
• Ігрова модель взаємодії користувачів у гетерогенних розподілених середовищах [Текст] / О.П. Ігнатенко, П.А. Іваненко, О.Б. Синецький, О.В. Ніколенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 14-23.
  
  
• Імплементація юридично правомочних електронних документів [Текст] / А.О. Мелащенко, О.С. Скарлат // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 356-362.
  
  
• Ін'єкція функціональних залежностей у контейнері інверсії керування [Текст] / М.М. Глибовець, В.М. Федорченко // Проблеми програмування (ч/з) [Текст] : наук. журн. — C. 33-39.
  
  
• Інформаційна система моделювання воєнних дій механізованих військ з використанням онтологічного підходу [Текст] / О.В. Оборська // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 59-66.
  
  
• К вопросу о модифицируемости и безаномальности схемы реляционной базы данных [Текст] / Б.Е. Панченко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 281-288.
  
  
• К вопросу о производительности распределенных хранилищ объектов данных в памяти ОЗУ [Текст] / К.А. Рухлис, А.Е. Дорошенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 33-38.
  
  
• К вопросу разработки инструментального комплекса онтологического назначения [Текст] / А.В. Палагин, Н.Г. Петренко, В.Ю. Величко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 289-298.
  
  
• Керування синтезом нейронних мереж [Текст] / Л.О. Катеринич // Проблеми програмування (ч/з) [Текст] : наук. журн. — С.53-59.
  
  
• Кібернетика, інформатика та програмна інженерія: аспекти розвитку [Текст] / К.М. Лавріщева // Проблеми програмування (ч/з) [Текст] : наук. журн. — С.3-14.
  
  
• Кластерное решение задачи о дифракции упругих волн на системе жестких цилиндрических включений произвольного поперечного сечения [Текст] / Б.Е. Панченко, И.Н. Сайко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 88-92.
  
  
• Кліо-ефект і операційна система Windows проти Linux [Текст] / О.І. Провотар, К.Д. Протасова // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 84-92.
  
  
• Комплексна система тестування взаємодії ресурсів у національній грід-інфраструктурі [Текст] / Є.А. Слюсар // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 111-118.
  
  
• Композиційно-номінативні логіки безкванторних рівнів [Текст] / С.С. Шкільняк, Д.Б. Волковицький // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 48-62.
  
  
• Композіційно-номінативні логіки з непрямим іменуванням [Текст] / Т.В. Россада, О.С. Шкільняк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 44-49.
  
  
• Компонентне програмування. Теорія і реалізація [Текст] / К.М. Лавріщева // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 3-18.
  
  
• Конструктивно-продукционная модель графового представления текста [Текст] / В.И. Шинкаренко, Е.С. Куропятник // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 63-72.
  
  
• Конструкционно-продукционная модель структур данных на логическом уровне [Текст] / В.И. Шинкаренко, В.М. Ильман, Г.В. Забула // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 10-16.
  
  
• Концепція індустрії наукового софтвера і підхід до обчислення наукових задач [Текст] / К.М. Лавріщева // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 3-16.
  
  
• Логіки квазіарних предикатів кванторно-екваційного рівня [Текст] / М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 19-34.
  
  
• Максимальное время преследования для стратегии параллельного сближения [Текст] / С.В. Пашко, А.Л. Яловец // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 78-93.
  
  
• Машинно-навчальні методи розпізнавання іменованих сутностей тексту [Текст] / О.О. Марченко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 150-157.
  
  
• Медико-физиологические программные симуляторы: необходимость и проблемы [Текст] / Р.Д. Григорян, И.И. Дериев, Т.В. Аксенова // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 197-204.
  
  
• Метод автоматичного проектування раціональних схем розкрою рулонних матеріалів на деталі взуття [Текст] / В.І. Чупринка, О.В. Чебанюк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 419-425.
  
  
• Метод доменного аналізу для ефективного моделювання процесів при проведенні експериментів використання програмного забезпечення [Текст] / О.В. Чебанюк, В.І. Чупринка // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 168-173.
  
  
• Метод извлечения логики поведения из промышленного программного кода на языке Кобол [Текст] / А.А. Губа, А.В. Колчин, С.В. Потиенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 17-25.
  
  
• Методи опрацювання консолідованих даних за допомогою просторів даних [Текст] / Н.Б. Шаховська // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 72-84.
  
  
• Методи організації паралельних обчислень для багаторівневих нечітких систем Тагаки-Сугено [Текст] / С.В. Єршов, Р.М. Пономаренко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 141-149.
  
  
• Методичні основи оцінювання витрат на розроблення та супровід прикладного програмного забезпечення комп'ютерних систем [Текст] / П.І. Андон, П.П. Ігнатенко, І.П. Сініцин, О.О. Слабоспицька // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 264-273.
  
  
• Метод калібрування моделі СОСОМО шляхом редукції основного рівняння [Текст] / Д.В. Баценко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 192-200.
  
  
• Метод мониторинга аномалий локальной погоды на основе технологий сенсорных сетей [Текст] / Д.В. Рагозин // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 93-103.
  
  
• Методологія аналізу статистичних даних для реалізації перспективного планування в автоматизованій інформаційній системі "Надання медико-соціальних та реабілітаційних послуг" [Текст] / С.М. Федоренко, А.В. Чадюк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 406-413.
  
  
• Метод розрахунку параметрів фазових переходів дискретних технологічних та інформаційних процесів стратегічного планування з розпаралелюванням обчислень [Текст] / М.Ю. Степанюк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 86-93.
  
  
• Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем [Текст] / А.В. Колчин, А.А. Летичевский, С.В. Потиенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 146-150.
  
  
• Метод формирования многоуровневых последовательных паттернов [Текст] / А.В. Молдавская // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 158-163.
  
  
• Методы взаимодействия и координации в мультиагентных системах на основе нечеткой логики высшего типа [Текст] / И.Н. Парасюк, С.В. Ершов // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 242-252.
  
  
• Методы и модели использования экспертно-аналитического знания для поддержки принятия решений в организации. Часть 1. Модели знания о решениях [Текст] / Е.П. Ильина // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 89-101.
  
  
• Методы и модели использования экспертно-аналитического знания для поддержки принятия решений в организации. Часть 2. Онтологические отношения и анализ гармоничности поля решений [Текст] / Е.П. Ильина // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 66-80.
  
  
• Методы моделирования поведения агентов в мультиагентной системе "Навигация" [Текст] / А.Л. Яловец // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 212-220.
  
  
• Механізми забезпечення варіабельності в сімействах програмних систем [Текст] / А.Л. Колесник // Проблеми програмування (ч/з) [Текст] : наук. журн. — С.56-65.
  
  
• Міжвідомчі інформаційно-телекомунікаційні системи, як результат реалізації цільових програм щодо обміну інформаційними ресурсами між державними органами [Текст] / В.А. Алексеєв, В.С. Терещенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С.50-66.
  
  
• Модели и методы аналитической поддержки принятия решений стратегического управления [Текст] / Е.П. Ильина, И.П. Синицын // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 270-280.
  
  
• Моделі взаємодії програм, систем і операційних середовищ [Текст] / К.М. Лавріщева // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 11-21.
  
  
• Моделі керування потоками даних мережі Інтернет за умов нестабільної поведінки [Текст] / О.П. Ігнатенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 38-51.
  
  
• Моделювання конфліктної взаємодії в мережах: еволюційно-ігровий підхід [Текст] / О.П. Ігнатенко, О.Б. Синецький // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 67-77.
  
  
• Моделювання обслуговування користувачів у мережі з одним сервером за умов конфлікту [Текст] / О.П. Ігнатенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С.66-72.
  
  
• Мультиагентне моделювання послідовних багатоелементних японських аукціонів [Текст] / А.Л. Яловець // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 129-138.
  
  
• Мультиагентные модели на основе нечеткой логики высшего типа для высокопроизводительной среды [Текст] / И.Н. Парасюк, С.В. Ершов // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 260-269.
  
  
• Национальная локализация услуг электронных цифровых подписей в современных офисных пакетах [Текст] / А.О. Мелащенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 85-89.
  
  
• Некоторые аспекты формализации архитектурного этапа разработки алгоритмов [Текст] / В.Г. Акуловский // Проблеми програмування (ч/з) [Текст] : наук. журн. — С.3-11.
  
  
• Нечіткі ймовірності та нечіткі події [Текст] / О.І. Провотар, О.В. Василенко, О.О. Провотар // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 170-178.
  
  
• Обзор методов нейроуправления [Текст] / А.Н. Чернодуб, Д.А. Дзюба // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 79-94.
  
  
• Обзор современных систем и методов верификации формальных моделей [Текст] / А.В. Колчин, А.А. Летичевский, С.В. Потиенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 75-88.
  
  
• Об одном подходе к верификации алгебраических вычислений [Текст] / М.С. Львов // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 23-35.
  
  
• Обробка даних у гетерогенних мережах типа GRID [Текст] / А.Ю. Стеняшин // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 124-132.
  
  
• Объектно-компонентная разработка изменяемых программных систем [Текст] / Е.М. Лаврищева, О.А. Слабоспицкая, А.Ю. Стеняшин, А.Л. Колесник // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 3-16.
  
  
• О выделении макроопераций из вычислительных процессов сортировки массивов данных [Текст] / О.Н. Паулин, Н.О. Комлевая, С.Ю. Марулин // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 87-95.
  
  
• Один з підходів до взаємодії середовищ VISUAL STUDIO i ECLIPSE [Текст] / І.О. Радецький // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 43-49.
  
  
• Один підхід до вирішення проблеми універсального використання мови програмування OPENCL на різних GPU [Текст] / А.М. Лавренюк, С.І. Лавренюк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 77-84.
  
  
• Одна динамічна конфліктно керована модель взаємодії користувачів у відкритих інформаційних середовищах [Текст] / О.П. Ігнатенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 50-63.
  
  
• О методе проектирования абстрактного типа данных в алгебре алгоритмики [Текст] / А.Е. Дорошенко, В.А. Иовчев // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 3-16.
  
  
• Онтологічне моделювання предметної області з проблематикою e-SCIENCE [Текст] / В.М. Зінькович // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 30-37.
  
  
• Онтолого-ориентированная интеграция данных в Семантическом Вебе [Текст] / И.С. Чистяков // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 188-196.
  
  
• О построении моделей электронных библиотек [Текст] / В.А. Резниченко, Г.Ю. Проскудина, К.А. Кудим, О.М. Овдий // Проблеми програмування (ч/з) [Текст] : наук. журн. — С.60-74.
  
  
• О применении машинного обучения для проектирования адаптивных программ сортировки в алгебре алгоритмов [Текст] / Е.А. Яценко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 23-33.
  
  
• Оптимизация проверки выполнимости переходов при верификации формальных моделей [Текст] / А.В. Колчин // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 201-210.
  
  
• Оптимизация умножения больших N-разрядных чисел на основе N-разрядных ДПФ [Текст] / А.Н. Терещенко, В.К. Задирака // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 116-130.
  
  
• Оптимізація алгоритму побудови невід'ємної матричної факторизації у задачах обробки текстів природною мовою із використання графічних процесорів [Текст] / О.О. Марченко, В.К. Кисенко, І.О. Березань // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 119-123.
  
  
• Оптимізація паралельного перцептрона для центральних процесорів [Текст] / А.Ю. Дорошенко, О.С. Косань // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 22-29.
  
  
• Особенности реализации процессов имитационного моделирования на основе методологии DATA FARMING [Текст] / Е.А. Криковлюк, В.А. Пепеляев, М.А. Сахнюк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 414-418.
  
  
• Особливості застосування генетичного алгоритму балансування навантаження в мережі [Текст] / С.Д. Погорілий, Р.В. Білоус // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 85-92.
  
  
• Особливості подання знань про оцінку ситуацій в процесі ситуаційного керування охороною зон відповідальності [Текст] / В.А. Алексеєв, В.С. Терещенко, А.Л. Яловець // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 82-90.
  
  
• Особливості проектування інформаційної системи "Планування наукових досліджень в НАПН України" [Текст] / Н.Т. Задорожна, В.А. Петрушко, С.М. Тукало // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 322-330.
  
  
• Особливості процесів керування при створенні сімейств програмних систем [Текст] / К.М. Лавріщева, Г.Л. Коваль // Проблеми програмування (ч/з) [Текст] : наук. журн. — С.40-49.
  
  
• О структурных элементах компонентной сети Петри [Текст] / Е.А. Лукьянова // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 25-32.
  
  
• Отображение дескриптивной логики ALC в бинарную реляционную структуру данных [Текст] / В.А. Резниченко, И.С. Чистякова // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 13-30.
  
  
• Оцінювання якості консолідованих даних [Текст] / Н.Б. Шаховська // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 40-47.
  
  
• Пакет прикладних програм для розрахунку безперервних та дискретних моделей динамічних процесів у контурах керування [Текст] / С.Л. Мердух, Р.Б. Медведєв // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 105-115.
  
  
• Парадигмы программирования сборочного типа в программной инженерии [Текст] / Е.М. Лаврищева // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 121-132.
  
  
• Паралелізація невід'ємної факторизації розріджених матриць надвеликої розмірності [Текст] / Е.М. Насиров // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 66-71.
  
  
• Паралельна розподілена реалізація модуля керування робочими процесами для системи підтримки операцій оператора зв'язку [Текст] / А.Ю. Дорошенко, С.О. Шихутська // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 40-48.
  
  
• Паралельна розподілена система для аналізу потокових даних соціальних мереж [Текст] / А.Ю. Дорошенко, Д.С. Тітов // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 31-39.
  
  
• Паралельний генетичний алгоритм побудови розкладу занять [Текст] / М.М. Глибовець, Н.М. Гулаєва, М.М. Пасічник // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 76-85.
  
  
• Перетворення успадкованого коду на Fortran до масштабованого паралелізму і хмарних обчислень [Текст] / А.Ю. Дорошенко, В.Д. Хаврюченко, Є.М. Туліка, К.А. Жереб // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 133-140.
  
  
• Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями [Текст] / М.С. Нікітченко, О.С. Шкільняк, С.С. Шкільняк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 17-28.
  
  
• Підвищення ефективності інформаційного забезпечення процесів оборонного планування за рахунок використання розпаралелювання обчислень [Текст] / М.Ю. Степанюк, О.В. Дорощенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 104-111.
  
  
• Підтримка процесу керування варіабельністю в сімействах програмних систем [Текст] / А.Л. Колесник // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 182-191.
  
  
• Підхід до конфігуровання компонентів повторного використання [Текст] / А.Л. Колесник // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 63-71.
  
  
• Підхід до побудови інтелектуальних систем підтримки прийняття рішень на основі онтологій [Текст] / В.В. Литвин // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 43-52.
  
  
• Підхід до побудови об'єктно-компонентної моделі сімейства програмних продуктів [Текст] / К.М. Лавріщева, О.О. Слабоспицька // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 14-24.
  
  
• Підхід до реалізації інтерфейсів кластерних систем [Текст] / В.А. Маряновський, О.В. Дворцов, Ю.В. Бойко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С.22-29.
  
  
• Підхід до створення студентської фабрики програм [Текст] / А.О. Аронов, А.І. Дзюбенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 87-93.
  
  
• Підхід до уточнення поведінкових моделей програмного забезпечення з використанням паттернів проектування [Текст] / О.В. Чебанюк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 112-120.
  
  
• Підходи до паралелізації алгоритму Йена для систем із спільною пам'яттю [Текст] / С.Д. Погорілий, М.І. Трибрат, Ю.В. Бойко, Д.В. Афанасьєв // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 12-22.
  
  
• Побудова автоматизованої системи моніторингу стану елементів конструкцій методом MDP-планування [Текст] / А.О. Яценко, Д.Г. Досин // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 94-99.
  
  
• Побудова інтегрованої е-інфраструктури підтримки наукових досліджень в грід-середовищі [Текст] / Є.М. Твердохліб, П.І. Перкос // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 143-149.
  
  
• Побудова паралельного алгоритму чисельного розв'язання багатовимірної задачі моделювання навколишнього середовища [Текст] / Р.І. Черниш, Ю.М. Тирчак, П.А. Іваненко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С.85-91.
  
  
• Побудова сервісно-ресурсної моделі пілотажної кабіни авіаційного тренажера [Текст] / Р.А. Колісниченко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 72-83.
  
  
• Повышение временной эффективности структур данных в оперативной памяти на основе адаптации [Текст] / В.И. Шинкаренко, Г.В. Забула // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 211-218.
  
  
• Подання динамічних вимірів у OLAP-кубах [Текст] / Т.В. Панченко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 299-307.
  
  
• Подход к композиции Веб-сервисов на основе спецификации функциональной семантики [Текст] / В. Дерецкий // Проблеми програмування (ч/з) [Текст] : наук. журн. — С.30-39.
  
  
• Подход к обеспечению взаимодействия программных средств JAVA И MS.NET [Текст] / А.В. Островский // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 34-42.
  
  
• Подход к определению полноты композиции семантических веб-сервисов [Текст] / В. Дерецкий // Проблеми програмування (ч/з) [Текст] : наук. журн. — С.30-39.
  
  
• Подход к программированию приложений с использованием семантических Веб-сервисов [Текст] / В.А. Дерецкий // Проблеми програмування (ч/з) [Текст] : наук. журн. — С.43-50.
  
  
• Подход к структурному тестированию программ и использованием генетического алгоритма [Текст] / О.А. Слабоспицкая, О.Г. Мороз // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 73-81.
  
  
• Подход к структурному тестированию программ с использованием генетического алгоритма [Текст] / О.А. Слабоспицкая, О.Г. Мороз // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 73-81.
  
  
• Політика інформаційної безпеки в системах інформаційно-аналітичного забезпечення підтримки прийняття організаційних рішень [Текст] / С.М. Чуруброва // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 97-103.
  
  
• Полнота алгебры алгоритмов с данными [Текст] / В.Г. Акуловский, А.Е. Дорошенко, Е.А. Яценко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 3-13.
  
  
• Послуга "КО-1. Повторне використання об'єктів" для захищеної ОС на базі GNU/Linux з розширенням RSBAC [Текст] / А.В. Анісімов, Є.Ю. Іванніков // Проблеми програмування (ч/з) [Текст] : наук. журн. — С.11-20.
  
  
• Построение и преобразование операций и некоторых алгоритмических конструкций алгебры алгоритмов с данными [Текст] / А.Е. Дорошенко, В.Г. Акуловский // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 3-13.
  
  
• Построение модели угроз и нарушителей информации для объекта испытаний с использованием онтологии проведения испытаний КСЗИ [Текст] / М.А. Колтик // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 48-58.
  
  
• Потокові моделі мережі Інтернет за умов атак на відмову [Текст] / П.І. Андон, О.П. Ігнатенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 450-459.
  
  
• Пошук інваріантів U-Y-програм ітераційним алгоритмом над абсолютно вільними алгебрами даних [Текст] / О.М. Максимець // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 228-233.
  
  
• Пошукова система наукових матеріалів українською мовою із соціальною складовою [Текст] / А.М. Глибовець // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 312-317.
  
  
• Практичне дослідження ефективності інформаційної технології автоматизованого визначення семантичних термінів у контенті навчальних матеріалів [Текст] / Ю.В. Крак, О.В. Бармак, О.В. Мазурець // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 237-245.
  
  
• Применение компонентных сетей Петри в задачах верификации параллельных распределенных систем [Текст] / Е.А. Лукьянова // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 93-98.
  
  
• Применение статистических моделей в инженерии качества процессов производства программных систем [Текст] / Л.Е. Матвеева, Т.Н. Гориславец // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 174-181.
  
  
• Принципи проектування GPGPU-застосувань на основі мереж Петрі [Текст] / С.Д. Погорілий, Д.Ю. Вітель // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 57-65.
  
  
• Принципи створення інтелектуального інтерфейсу для розв'язування систем лінійних алгебраїчних рівнянь на комп'ютерах гібрідної архітектури [Текст] / О.М. Хіміч, Т.В. Чистякова, А.Ю. Баранов // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 435-442.
  
  
• Принципы построения интеллектуальной информационной технологии поддержки решений в организации [Текст] / Е.П. Ильина, И.П. Синицын, Т.Л. Яблокова // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 63-75.
  
  
• Прискорення алгоритмів відтворення байєсових мереж. Адаптація до структур без циклів [Текст] / О.С. Балабанов // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 63-69.
  
  
• Проблема автоматизації ситуаційного керування охороною зон відповідальності [Текст] / В.А. Алексеєв, В.В. Мостовий, В.С. Терещенко, А.Л. Яловець // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 96-107.
  
  
• Проблема моделювання маневрування агентів в задачах переслідування/утікання на площині [Текст] / А.Л. Яловець // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 86-100.
  
  
• Проблеми і можливості програмування в середовищі SEMANTIC WEB [Текст] / П.І. Андон, Л.П. Бабенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 363-373.
  
  
• Проблеми програмування [Текст] : наук. журн. — 2012. — 1. — 138 с.
  
  
• Проблеми програмування [Текст] : наук. журн. — 2012. — 2-3. — 460 с.
  
  
• Проблеми програмування [Текст] : наук. журн. — 2012. — 4. — 136 с.
  
  
• Проблеми програмування [Текст] : наук. журн. — 2013. — 4. — 106 с.
  
  
• Проблеми програмування [Текст] : наук. журн. — 2014. — 2-3. — 106 с.
  
  
• Проблеми програмування [Текст] : наук. журн. — 2014. — 4. — 106 с.
  
  
• Проблеми програмування [Текст] : наук. журн. — 2015. — 2. — 125 с.
  
  
• Проблеми програмування [Текст] : наук. журн. — 2015. — 3. — 120 с.
  
  
• Проблеми програмування [Текст] : наук. журн. — 2016. — 1. — 146 с.
  
  
• Проблеми програмування [Текст] : наук. журн. — 2016. — 2-3. — 273 с.
  
  
• Проблеми програмування [Текст] : наук. журн. — 2016. — 4. — 124 с.
  
  
• Проблеми програмування (ч/з) [Текст] : наук. журн. — К. : Ін-т програмних систем НАН України.
  
  
• Проблемы массового построения комплексной системы защиты информации и пути их решения [Текст] / М.А. Колтик // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 69-78.
  
  
• Прогнозування навантаження та планування розкладу роботи операторів контактного центру [Текст] / К.О. Черніченко, А.М. Капканець, Т.В. Панченко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 227-236.
  
  
• Программа проверки орфографии на основе распределенных представлений [Текст] / Р.С. Омельченко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 35-42.
  
  
• Программирование и интеллект [Текст] / К.М. Лаврищева // Проблеми програмування (ч/з) [Текст] : наук. журн. — С.17-27.
  
  
• Программно-аппаратный комплекс защиты на основе нераскрываемых шифров [Текст] / Н.И. Алишов, В.А. Марченко, А.Н. Мищенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 58-68.
  
  
• Программно-технологический комплекс поддержки принятия решений по управлению промышленным предприятием в условиях ранних стадий кризисных изменений [Текст] / Н.Н. Масалитина, К.С. Курочка // Проблеми програмування (ч/з) [Текст] : наук. журн. — С.96-107.
  
  
• Программные агенты в организации распределенных вычислений адаптивного синтеза и обучения нейросетей [Текст] / В.И. Шинкаренко, Д.В. Олейник // Проблеми програмування (ч/з) [Текст] : наук. журн. — С.60-72.
  
  
• Програмна технологія для проведення імітаційних експериментів з математичними моделями фізіологічних систем [Текст] / Т.В. Аксьонова // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 110-120.
  
  
• Програмне забезпечення SERC для аналізу похибки оцінки надійності відмовостійких реконфігуровних багатопроцесорних систем [Текст] / А.П. Фесенюк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 48-57.
  
  
• Програмно-технічний комплекс автоматичної географічної прив'язки супутникових даних КС ДЗЗ "Січ-2" [Текст] / Н.М. Куссуль, Р.М. Басараб, О.М. Кравченко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 303-311.
  
  
• Проектирование специализированной компьютерной системы для проведения пульмонологического диагностирования [Текст] / Н.О. Комлевая, А.Н. Комлевой, К.С. Чернега // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 253-262.
  
  
• Про метод найближчої точки як метод управління стратегіями переслідування/утікання агентів [Текст] / А.Л. Яловець // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 94-99.
  
  
• Про нові методи опису невизначених величин [Текст] / О.І. Провотар, О.В. Лапко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 35-42.
  
  
• Про одну модель оптимального розподілу ресурсів у багатопроцесорних середовищах [Текст] / А.Ю. Дорошенко, О.П. Ігнатенко, П.А. Іваненко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 29-38.
  
  
• Про формальний опис типів і структур даних різнорідних програм [Текст] / А.Ю. Стеняшин // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 50-61.
  
  
• Развитие формальных моделей, алгоритмов, процедур, разработки и функционирования программной системы "Инструментальный комплекс онтологического назначения" [Текст] / А.В. Палагин, Н.Г. Петренко, В.Ю. Величко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 221-232.
  
  
• Разработка высокопараллельных приложений для графических ускорителей с использованием переписывающих правил [Текст] / А.Е. Дорошенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С.3-18.
  
  
• Разработка и обоснование алгоритмов на основе семантических свойств [Текст] / С.Л. Крывый, А.Н. Максимец // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 151-159.
  
  
• Разработка, реализация и оценка эффективности методов планирования ресурсов GRID в пакете GRIDSIM [Текст] / С.В. Минухин, А.В. Коровин // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 63-72.
  
  
• Разработка, реализация и оценка эффективности мотодов планирования ресурсов GRID в пакете GRIDSIM [Текст] / С.В. Минухин, А.В. Коровин // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 63-72.
  
  
• Реализация средств проектирования и генерации программ на основе алгебры алгоритмов с данными [Текст] / В.Г. Акуловский, А.Е. Дорошенко, Е.А. Яценко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 41-51.
  
  
• Регрессивное тестирование: методы и будущие направления исследования [Текст] / Г.Б. Мороз, А.В. Плис // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 133-145.
  
  
• Реєстрація та облік інформації про події у спеціалізованих інформаційно-телекомунікаційних системах [Текст] / В.А. Алексеєв, А.П. Кузміч, В.С. Терещенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 49-62.
  
  
• Ренесанс використання моделі акторів до побудови паралельних та розподілених застосунків [Текст] / М.М. Глибовець, С.С. Гороховський, С.О. Зінчук, М.В. Кравченко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 30-40.
  
  
• Решение оптимизационных задач для систем массового обслуживания с отказами в условиях неопределенности [Текст] / Н.Б. Копытчук, П.М. Тишин, К.В. Ботнарь // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 108-117.
  
  
• Розвиток інтернет-порталу метеорологічного прогнозування на мультипроцесорній платформе [Текст] / О.Г. Бекетов, Є.А. Вітряк, І.О. Мироненко, О.М. Овдій // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 246-253.
  
  
• Розпаралелювання програм на Фортрані з використанням техніки переписувальних правил [Текст] / А.Ю. Дорошенко, К.А. Жереб, Є.М. Туліка // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 388-397.
  
  
• Розробка архітектури програмного забезпечення для інтерактивного навчання жестової мови [Текст] / Ю.Г. Кривонос, Ю.В. Крак, А.С. Тернов // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 295-302.
  
  
• Розробка інтегрованої системи періодичних наукових видань на основі OJS [Текст] / К.О. Кудим, В.А. Резніченко, О.В. Новицький // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 72-85.
  
  
• Розробка програмної моделі нейромережевого ПІД-регулятора в середовище LabVIEW [Текст] / В.А. Жеребко, В.В. Афанасьєв, А.С. Лясковський // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 99-108.
  
  
• Розробка семантико-синтаксичної моделі природної мови за допомогою методів невід'ємної тензорної і матричної факторизації [Текст] / О.О. Марченко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 263-272.
  
  
• Розробка сервісно-орієнтованих засобів для запуску паралельних програм на мультипроцесорному кластері [Текст] / А.Ю. Дорошенко, О.Г. Бекетов, О.А. Яценко та ін. // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 3-14.
  
  
• Розробка системи підтримки формування і аналізу річних звітів установ НАН України [Текст] / Є.М. Твердохліб, П.І. Перконос, С.В. Субботін // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 93-100.
  
  
• Розробка Web-прототипу для аналізу висловлювань користувачів соціальної мережі Twitter [Текст] / А.М. Глибовець, М.А. Гонтар // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 15-25.
  
  
• Розширення UML специфікації для моделювання семантичних об'єктів [Текст] / О.В. Новицький // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 211-219.
  
  
• Секвенційні числення композиційно-номінативних логік квазіарних предикатів [Текст] / С.С. Шкільняк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 33-43.
  
  
• Секвенційні числення композиційно-номінативних модальних логік функціонально-екваційного рівня [Текст] / О.С. Шкільняк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 17-28.
  
  
• Секвенційні числення першопорядкових логік однозначних квазіарних предикатів [Текст] / С.С. Шкильняк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 34-51.
  
  
• Семантические Wiki-ресурсы и их использование для построения персонифицированных онтологий [Текст] / Ю.В. Рогушина // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 188-195.
  
  
• Семантична анотація веб-сервісів [Текст] / О.В. Захарова // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 49-57.
  
  
• Симуляция гемодинамики гипертрофированного сердца [Текст] / Р.Д. Григорян, Т.В. Аксенова // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 254-263.
  
  
• Синтез многоуровневых структур со многими выходами [Текст] / В.Н. Опанасенко, С.Л. Крывый // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 32-37.
  
  
• Система керування грід-завданнями віртуальної лабораторії, що грунтується на асинхроннії обробці подій [Текст] / А.О. Сальніков // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 102-110.
  
  
• Системи виявлення Web-сервісів в сервіс-орієнтованій архітектурі: проблеми і рішення [Текст] / С.С. Ремарович // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 53-71.
  
  
• Складові стенда валідації архівних електронних документів [Текст] / А.О. Мелащенко, О.Л. Перевозчикова, О.С. Скарлат // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 91-98.
  
  
• Согласованное описание алгоритмов в рамках алгебраического аппарата [Текст] / В.Г. Акуловский, А.Е. Дорошенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 29-37.
  
  
• Создание развитых Интернет-программ на примере построения виджет-программ [Текст] / Н.Н. Глибовец, И.В. Коваль, А.Н. Корень // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 49-55.
  
  
• Спеціальні відношення логічного наслідку в логіках квазіарних предикатів [Текст] / С.С. Шкільняк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 36-48.
  
  
• Сравнительная характеристика методик объектно-реляционного преобразования [Текст] / И.А. Лихацкий // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 174-181.
  
  
• Средства кодогенерации для взаимодействия с базой данных через объекты [Текст] / И.А. Лихацкий // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 380-387.
  
  
• Средства параметрически управляемой генерации алгоритмов на основе алгебры гиперсхем [Текст] / Е.А. Яценко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 219-227.
  
  
• Средства платформы apache hadoop для параллельных и распределенных вычислений [Текст] / К.А. Рухлис, А.Е. Дорошенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С.3-10.
  
  
• Средства проектирования объектно-ориентированных программ на основе алгебры алгоритмики [Текст] / А.Е. Дорошенко, В.А. Иовчев // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 241-250.
  
  
• Средства сервисно-ориентированного программирования параллельных программ [Текст] / А.Е. Дорошенко, Е.А. Яценко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С.12-21.
  
  
• Статистический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании [Текст] / М.С. Львов // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 3-12.
  
  
• Створення і дослідження паралельних схем алгоритму Джонсона в технології GPGPU [Текст] / С.Д. Погорілий, М.С. Слинько // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 105-112.
  
  
• Стенд имитационного моделирования сортировочной станции железнодорожной сети [Текст] / Е.И. Сукач // Проблеми програмування (ч/з) [Текст] : наук. журн. — С.81-89.
  
  
• Сучасні технологічні аспекти систем підтримки прийняття рішень [Текст] / С.М. Чуруброва // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 86-92.
  
  
• Схема параллельного решения задачи дифракции SH-волн на системе некруговых трещин в бесконечной упругой среде [Текст] / А.М. Назаренко, Б.Е. Панченко, С.А. Пилипенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 82-87.
  
  
• Технология системной интеграции аппаратных и программных средств защиты информации [Текст] / Н.И. Алишов, А.Н. Алишов, А.Я. Бойко та ін. // Проблеми програмування (ч/з) [Текст] : наук. журн. — С.75-88.
  
  
• Технології захисту конфіденційної інформації від внутрішніх загроз [Текст] / А.О. Антонюк, В.С. Портяной, В.П. Шилін // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 78-88.
  
  
• Технологічна модель процесу автоматизованого виробництва сімейств програмних систем [Текст] / О.О. Слабоспицька // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 39-48.
  
  
• Технологічна модель процесу побудови та використання адаптивної композицї web-сервісів [Текст] / О.О. Слабоспицька // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 52-62.
  
  
• Технологічні аспекти створення життєздатних програмних систем в умовах генеруючого програмування [Текст] / П.П. Ігнатенко, В.М. Бистров // Проблеми програмування (ч/з) [Текст] : наук. журн. — С.21-32.
  
  
• Технологія моделювання на основі нечітких об'єктно-орієнтованих байєсівських мереж довіри [Текст] / С.В. Єршов, Ф.В. Костукевич // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 179-187.
  
  
• Технологія оптимального вибору варіантів на основі семантичного аналізу інформаційних об'єктів бізнес-процесу [Текст] / О. Захарова, В. Міненко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 89-95.
  
  
• Технологія оптимізованої передачі жестової мови в мережі Інтернет [Текст] / Ю.В. Крак, О.В. Бармак // Проблеми програмування (ч/з) [Текст] : наук. журн. — С.73-79.
  
  
• Трансформационный подход к разработке интеллектуальных агентов на основе нечетких моделей [Текст] / И.Н. Парасюк, С.В. Ершов // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 62-78.
  
  
• Формалізація жестоутворення за допомогою трьохмірної моделі людини для української жестовой мови [Текст] / Ю.Г. Кривонос, Ю.В. Крак, О.В. Бармак // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 398-405.
  
  
• Формалізми об'єктного проектування і тестування розподілених програмних систем [Текст] / К.М. Лавріщева, А.Ю. Стеняшин // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 25-34.
  
  
• Формалізоване проектування та генерація паралельної програми чисельного прогнозування погоди [Текст] / А.Ю. Дорошенко, О.Г. Бекетов, В.А. Прусов // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 72-81.
  
  
• Формальна семантика агрегатних операцій мультимножинної табличної аглебри [Текст] / І.М. Глушко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 166-173.
  
  
• Формальная модель научной публикации [Текст] / В.А. Резниченко, Г.Ю. Проскудина, О.М. Овдий // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 331-347.
  
  
• Формування готовності майбутніх бакалаврів з інженерії програмного забезпечення до професійної комунікації [Текст] / Н.М. Сидорова // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 308-314.
  
  
• Функции и методы поддержки современных парадигм метода Дельфи [Текст] / Е.П. Ильина // Проблеми програмування (ч/з) [Текст] : наук. журн. — С.36-52.
  
  
• Функциональные возможности современных систем автоматизации контроля качества обучения. Сравнительный анализ [Текст] / Е.Н. Гайтан // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 101-118.
  
  
• Численные методы решения задач оптимизации преследования [Текст] / С.В. Пашко, А.Л. Яловец // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 74-85.
  
  
• Чисті першопорядкові логіки квазіарних предикатів [Текст] / М.С. Нікітченко, О.С. Шкільняк, С.С. Шкільняк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 73-86.
  
  
• Швидка або якісна розробка? [Текст] / Т.В. Панченко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 38-43.
  
  
• Шифр на основе случайных чисел с неравномерным распределением [Текст] / Р.М. Михерский // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 90-95.
  
  
• DS-теория. Исследование факторов деления P-данных для генерации прикладных алгоритмов. Ч. 2 [Текст] / В.Г. Колесник // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 3-12.
  
  
• DS-теория. Исследование факторов деления P-данных для генерации прикладных алгоритмов. Часть 1 [Текст] / В.Г. Колесник // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 3-13.
  
  
• DS-теория. Исследование факторов форматирования Р-данных [Текст] / В.Г. Колесник // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 14-26.
  
  
• DS-теория как прототип теории прикладных алгоритмов [Текст] / В.Г. Колесник // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 17-33.
  
  
• N-исчисление - реалистичная формализация класса переписывающих систем [Текст] / Р.С. Шевченко, А.Е. Дорошенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 3-11.
  
  
• NP-трудность задач оптимизации коллективного преследования [Текст] / С.В. Пашко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 44-51.
  
  
• UWN: універсальна онтологічна база знань української мови [Текст] / А.В. Анісімов, О.О. Марченко, А.О. Никоненко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 348-355.