Електронний каталог - Бібліотека

Показано документи 107461 - 107480 від загального числа 114370

107461.	Проблеми програмування, №2-3. – К. : НАН Украины, 2020. – 418с. – 1727-4907. Шифр: 004 Кількість примірників : 1 В наявності : 1 Опис документа
107462.	Прийма, С. М. Розробка інформаційної системи семантичної ідентифікації і документування результатів неформального й інформального навчання // Проблеми програмування. – 2020. – №2-3. – 2020. – С.11-22. Шифр: 004 Опис документа

107463.	Бурський, О. І. WEB-система оцінювання рівня регіонального розвитку // Проблеми програмування. – 2020. – №2-3. – 2020. – С.22-31. Шифр: 004 Опис документа
107464.	Новицький, О. В. Модель інформаційного об'єкта для електронної бібліотеки та її верифікація // Проблеми програмування. – 2020. – №2-3. – 2020. – С.31-39. Шифр: 004 Опис документа

107465.	Захарова, О. В. Контекстне співставлення ВЕБ-сервісів у вирішенні задачі виявлення. Онтологічні підходи // Проблеми програмування. – 2020. – №2-3. – 2020. – С.39-50. Шифр: 004 Опис документа
107466.	Прийма, С. М. Методи та інструменти розробки інформаційної системи валідації результатів неформального навчання // Проблеми програмування. – 2020. – №2-3. – 2020. – С.50-61. Шифр: 004 Опис документа

107467.	Rogushina, J. V. Ontological methods and tools for semantic extension of the media WIKI technology // Проблеми програмування. – 2020. – №2-3. – 2020. – С.61-74. Шифр: 004 Опис документа
107468.	Сидоров, H. A. Дескриптивная модель экосистемы стиля программирования // Проблеми програмування. – 2020. – №2-3. – 2020. – С.74-82. Шифр: 004 Опис документа

107469.

Пунда, С. Ю.
Системи збереження даних для IT інфраструктури // Проблеми програмування. – 2020. – №2-3. – 2020. – С.82-94.
Шифр: 004
Опис документа

107470.

Дивак, В. В.
Наукове обгрунтування та практична апробація використання інформаційно-комунікаційних технологій у розвитку економічної компетентності керівників закладів середньої освіти // Проблеми програмування. – 2020. – №2-3. – 2020. – С.94-103.
Шифр: 004
Опис документа

107471.

Дорошенко, Ф. Ю.
Автоматизоване проектування та розпаралелювання програм для гетерогенних платформ із використанням алгебро-алгоритмічного інструментарію // Проблеми програмування. – 2020. – №2-3. – 2020. – С.103-115.
Шифр: 004
Опис документа

107472.

Жереб, К. А.
Підвищення продуктивності коду мовою PYTHON з використанням техніки переписувальних правил // Проблеми програмування. – 2020. – №2-3. – 2020. – С.115-126.
Шифр: 004
Опис документа

107473.	Дорошенко, А. Ю. Оптимізація паралельних алгоритмів з використанням моделі акторів // Проблеми програмування. – 2020. – №2-3. – 2020. – С.126-138. Шифр: 004 Опис документа
107474.	Паулин, О. Н. Об использовании особых структур данных в алгоритмах покрытия // Проблеми програмування. – 2020. – №2-3. – 2020. – С.138-149. Шифр: 004 Опис документа

107475.	Rahozin, Dm. Models of concurrent program running in resource constrained environment // Проблеми програмування. – 2020. – №2-3. – 2020. – С.149-157. Шифр: 004 Опис документа
107476.	Мамедов, Г. А. Засіб статичного аналізу.NET програм за допомогою переписувальних правил // Проблеми програмування. – 2020. – №2-3. – 2020. – С.157-164. Шифр: 004 Опис документа

107477.	Chebanyuk, O. V. Domain engineering approach of software requirements analysis // Проблеми програмування. – 2020. – №2-3. – 2020. – С.164-173. Шифр: 004 Опис документа
107478.	Бармак, О. В. Розпізнавання емоційних проявів за групуванням скупченостей характерних мімічних станів обличчя людини // Проблеми програмування. – 2020. – №2-3. – 2020. – С.173-182. Шифр: 004 Опис документа

107479.

Нікітченко, М. С.
Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення // Проблеми програмування. – 2020. – №2-3. – 2020. – С.182-198.
Шифр: 004
Опис документа

107480.

Провотар, О. І.
Елементи конкретної алгоритміки: обчислюваність і розв'язність // Проблеми програмування. – 2020. – №2-3. – 2020. – С.198-208.
Шифр: 004
Опис документа