Проблеми програмування, 2011, № 4
Постійний URI цієї колекціїhttps://nasplib.isofts.kiev.ua/handle/123456789/50915
ЗМІСТ
ТЕОРЕТИЧНІ ТА МЕТОДОЛОГІЧНІ ОСНОВИ ПРОГРАМУВАННЯ-
Дорошенко А.Е., Акуловский В.Г.
Построение и преобразование операций и некоторых алгоритмических конструкций алгебры алгоритмов с данными
Летичевський О.А.. Летичевський О.О., Песчаненко В.С., Блинов І.О., Кльонов Д.М.
Програмування в обмеженнях у системі інсерційного моделювання
Львов М.С.
Об одном подходе к верификации алгебраических вычислений
Шкільняк С.С.
Спеціальні відношення логічного наслідку в логіках квазіарних предикатів
-
Глибовец Н.Н., Коваль И.В., Корень А.Н.
Создание развитых интернет-программ на примере построения виджет-программ
Дорошенко А.Ю., Молотієвський Л.Г.
Про уніфікацію способів обробки структурованої інформації
-
Мелащенко А.О.
Национальная локализация услуг электронных цифровых подписей в современных офисных пакетах
Михерский Р.М.
Шифр на основе случайных чисел с неравномерным распределением
-
Алексєєв В.А., Мостовий В.В., Терещенко В.С., Яловець А.Л.
Проблема автоматизації ситуаційного керування охороною зон відповідальності
Копытчук Н.Б., Тишин П.М., Ботнарь К.В.
Решение оптимизационных задач для систем массового обслуживання с отказами в условиях неопределенности