Шифр: П40/2017/1
   Журнал

Проблеми програмування : науковий журнал. - Київ : ІПС, 1999 - . - Виходить кожного кварталу
2017р. № 1
Зміст:
Колесник, В. Г. DS-теория. Научные аспекты и перспективы развития / В. Г. Колесник. - С.3-20. - Библиогр. в конце ст. : ил.
Шкільняк, О. С. Відношення логічного наслідку в логіках монотонних предикатів та логіках антитонних предикатів / О. С. Шкільняк. - С.21-29. - Бібліогр. в кінці ст.
Рогушина, Ю. В. Класифікація засобів та методів семантичного пошуку в Web / Ю. В. Рогушина. - С.30-50. - Бібліогр. в кінці ст. : іл.
Чистякова, И. С. Интеграция аксиоматики дескриптивных логик с реляционной моделью данных / И. С. Чистякова. - С.51-58. - Библиогр. в конце ст. : ил.
Дорошенко, А. Ю. Метод паралелізації циклів сіткових обчислювальних задач для графічних прискорювачів / А. Ю. Дорошенко, О. Г. Бекетов. - С.59-66. - Бібліогр. в кінці ст. : іл.
Проскудина, Г. Ю. О технологии использования внешних данных при создании и редактировании энциклопедических текстов / Г. Ю. Проскудина, К. А. Кудим. - С.67-82. - Библиогр. в конце ст. : ил.
Яловець, А. Л. Архітектура та функціональні можливості мультиагентної системи Навігація / А. Л. Яловець. - С.83-96. - Бібліогр. в кінці ст. : іл., табл.
Балабанов, О. С. Принципи та аналітичні засоби реконструкції структур ймовірнісних залежностей у спеціальному класі / О. С. Балабанов. - С.97-110. - Бібліогр. в кінці ст. : іл., табл.
Древаль, О. Л. Застосування алгоритму фазової кореляції та його розширення в оптичном стабілізаторі безпілотних літальних апаратів / О. Л. Древаль, А. Ю. Дорошенко. - С.111-119. - Бібліогр. в кінці ст. : іл., табл.
Є примірники у відділах:
ЧЗНЛ Прим. 1 - (вільний)