Вы здесь

Главная

Системная информатика

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

Case-технология и возможности современных case-средств в поддержке этапов проектирования программного продукта
VLIW-машины: развитие архитектуры и принципов построения программного обеспечения
Автоматический синтез программ с циклами и рекурсиями
Алгебраическое исчисление для алгоритмов над графами и алгоритмов сортировки
Архитектурные, формальные и программные модели. Сборник научных трудов
Верификация комбинированных логик знаний, действий и времени в моделях
Интервальные методы распространения ограничений и их приложения
Клеточно-автоматные модели пространственной динамики
Методы теоретического и системного программирования
Модели и методы построения информационных систем, основанных на формальных, логических и лингвстических подходах
Ориентированный на верификацию язык C-light
Представление знаний в Интернете и семантическое программирование
Проблемы архитектуры, анализа и разработки программных систем
Программирование в ограничениях на Флэнге
Программирование в ограничениях: обзор и классификация подходов и методов
Рекурсивные схемы: преобразования и отношения эквивалентности
Семантический анализ интервальных конгруэнтностей
Системная информатика
Системы программирования. Теория и приложения
Средства для работы с графами большого объема: построение и оптимизация компоновочных планов
Стохастические сети Петри - формализм для моделирования и анализа производительности вычислительных процессов
Стохастические сети Петри - формализм для моделирования и анализа производительности вычислительных процессов
Теория и методология программирования
Теория и методология программирования
Феномен Форта
Функциональный подход к разработке программ с развитым параллелизмом