ЗМІСТ

ТЕОРЕТИЧНІ ТА МЕТОДОЛОГІЧНІ ОСНОВИ ПРОГРАМУВАННЯ

Панченко Т.В.
Метод доведення властивостей програм в композиційно-номінативних мовах IPCL

МОДЕЛІ ТА ЗАСОБИ ПАРАЛЕЛЬНИХ І РОЗПОДІЛЕНИХ ПРОГРАМ

Анисимов А.В., Яджак М. С.
Параллельные алгоритмы выполнения массовых вычислений в нейронных сетях

Дорошенко А.Е., Костюк М.В., Ніколаєв С.С.
Мультиасемблерна мова програмування

ЛОКАЛЬНІ МЕРЕЖІ

Алишов Н.И.
Инструментальные средства моделирования методов доступа в локальных сетях

ФОРМАЛЬНІ МЕТОДИ РОЗРОБКИ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

Акуловский В.Г.
Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов.

Цейтлин Г.Е., Иовчев В.А., Мусихин А.А.
Ментальные аспекты методов символьной мультиобработки

ІНФОРМАЦІЙНІ СИСТЕМИ

Овдій О.М., Новицький О.В., Проскудіна Г.Ю.
Огляд інструментів анотації електронних ресурсів

ПРИКЛАДНЕ ПРОГРАМНЕ ЗАБЕЗПЕЧЕННЯ

Івасенко І.Б., Журавель І.М., Сущик К.В., Берегуляк О.Р.
Комп’ютеризована система обробки та аналізу цифрових зображень, отриманих при електронно-променевому зварюванні

Клименко А.В., Максимей И.В., Смородин В.С.
Система автоматизации имитационного моделирования последовательных вероятностных технологических процессов производства