Проблеми програмування. 2012 (4) АРХІВ (Всі випуски) 
 | Проблеми програмування
2012. Вип. 4 |
- Титул.
- Зміст.
- Лавріщева К. М. Компонентне програмування. Теорія і реалізація. - C. 3-18.
- Нікітченко М. С., Шкільняк С. С. Логіки квазіарних предикатів кванторно-екваційного рівня. - C. 19-34.
- Провотар О. І., Лапко О. В. Про нові методи опису невизначених величин. - C. 35-42.
- Щегельський Т. С., Провотар О. О., Провотар О. І. Аналіз систем нечіткої логіки для апроксимації нечітких функцій. - C. 43-49.
- Ігнатенко О. П. Одна динамічна конфліктно керована модель взаємодії користувачів у відкритих інформаційних середовищах. - C. 50-63.
- Кожаев В. В. Иструментарий создания игровой логики. - C. 64-74.
- Колчин А. В., Летичевский А. А., Потиенко С. В., Песчаненко В. С. Обзор современных систем и методов верификации формальных моделей. - C. 75-88.
- Захарова О., Міненко В. Технологія оптимального вибору варіантів на основі семантичного аналізу інформаційних об’єктів бізнес-процесу. - C. 89-95.
- Алексеєв В. А., Мостовий В. В., Терещенко В. С., Яловець А. Л. Архітектура та функціональні можливості системи ситуаційного керування охороною зон відповідальності. - C. 96-104.
- Мердух С. Л., Медведєв Р. Б. Пакет прикладних програм для розрахунку безперервних та дискретних моделей динамічних процесів у контурах керування. - C. 105-115.
- Терещенко А. Н., Задирака В. К. Оптимизация умножения больших N-разрядных чисел на основе N-разрядных ДПФ. - C. 116-130.
|
|
