Вы здесь

Главная

Проблемы систем информатики и программирования. Сборник статей ИСИ СО РАН

Связанные издания:

Аксиоматика и численная интерпретация качественных моделей
Вопросы информационной поддержки гуманитарных исследований в области культуры
Иерархические графы и графовые модели: вопросы визуальной обработки
ИС ТРАНСФОРМ: прототип интерфейса для визуального исследования БД
Конструкция Париса-Кирби и проблемы сложности алгоритмов
Национальный алфавит и компьютерная грамотность
О распараллеливании PIC-метода
Применение системы HIGRES для визуальной обработки иерархических графовых моделей
Промежуточное представление программ в распараллеливаю их компиляторах
Распознавание интервального порядка на базе локальных вычислений
Распознавание хордальных графов в рамках распределенной модели вычислений
Средства поведения формульных преобразований для задач в булевых алгебрах в системе FABULA
Хордальные графы и их свойства
Хордальные графы и их свойства