Додаткова інформація:

Про ІПС
Про журнал
Рубрики журналу
Редакційна колегія
Для авторів
Передплата
Контакти
Партнери

Тел.: (380-44) 526-2148.
Факс: (380-44)526-6263
E-mail: iss@isofts.kiev.ua

Електронна бібліотека ІПС

ЗМІСТ

Дорошенко А.Е., Цейтлин Г.Е.
Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью

Парасюк И.Н., Провотар А.И., Кондратенко В.А.
Аксиоматические модели и методы проектирования языковых трансляторов

Нікітченко М.С., Шкільняк С.С.
Композиційні логіки номінативних даних

Крывый С.Л., Невмержицкий А.В.
О несовместности одного вида нелинейных уравнений в множестве натуральных чисел

Dimov I., Farago I., Zlatev Z.
Parallel Computations with Large-scale Air Pollution Models

Baіa J., Koreko І., Poruban J., Vіclavk P.
Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits

Ігнатенко П.П., Бистров В.М., Ігнатенко О.П., Ткаченко В.М.
Задачі та засоби моделювання й оцінювання життєздатних програмних систем

Алексєєв В.А., Ільїн С.А., Мягкова Л.А., Терещенко В.С.
Організація схем взаємодії відомчих інформаційних систем в інтегрованій міжвідомчій інформаційній системі