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

Показано документи 107861 - 107880 від загального числа 113880

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

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

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

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

107869.

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

107870.

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

107871.

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

107872.

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

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

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

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

107879.

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

107880.

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