Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
система
Связанные издания:
Представление множеств в недоопределенных моделях
Приведение формул алгебры AFP к каноническому виду
Прикладная графическая интерактивная система
Прикладная информатика
Прикладные программные системы: архитектура, построение, развитие
Прикладные распределенные системы для банков
Применение автоматизированной системы тестирования NSUts в учебном процессе
Применение аналитико-вычислительной системы для работы с непрерывными дробями
Применение имитационного моделирования для обоснования выбора и развития систем обработки данных в АСУ
Применение нечеткой логики в системах автоносного адаптивного управления
Применение обьектно-ориентированной системы НУТ для построения трансляторов
Применение систем гипермедиа
Применение систем переписывания формул в автоматической верификации программ
Применение темпоральной логики для спецификации поведения программных систем
Применение технологии UniTESK для функционального тестирования инфраструктурного ПО Грид
Примеры использования AsmL для моделирования и анализа вычислительных процессов
Принцип информационной замкнутости и объектно-организованные системы
Принципы и методология создания БД в распределенной системе обработки информации
Принципы построения интегрированной системы баз данных моделей
Принципы программно-ориентированных криптосистем с неопределенным алгоритмом
Принципы разработки современных программных систем анализа данных
Принятие решений и оперативный анализ данных
Проблема разложимости при формальном описании знаний
Проблемно-ориентированная система для матричных вычислений
Проблемно-ориентированные средства управления информационными моделями агрегативных объектов
Проблемно-универсальная технология построения информационно-логических систем
Проблемы динамического распараллеливания вычислений
Проблемы интеллектуализации и качества систем информатики
Проблемы информатизации об ества
Проблемы систем информатики и программирования
Проблемы спецификации и верификации параллельных систем. Сборник научных трудов
Проблемы технологии программирования: Сборник научных трудов
Прогнозирование значений параметров динамических систем с помо ью адаптивного фильтра Калмана
Программирование в ограничениях: обзор и классификация подходов и методов
Программирование на профессиональном языке в расширяемой системе с обучением
Программирование распределенных вычислительных систем
Программирующая система для расчёта физических полей в сложных геометрических областях
Программирующая система ЛЯПАС
Программное обеспечение высокопроизводительной вычислительной системы
Программное обеспечение ДИНСИ
Программное обеспечение специальной автоматизированной распределенной информационной системы обработки топопланов
Программные и вычислительные системы: методы и языки анализа
Программные системы: применение, разработка, обоснование
Программные средства представления и моделирования генераторов поведения робототехнических систем
Прогулка по файлам DOS
Проектирование Web-ориентированных распределенных учебных систем
Проектирование высокопроизводительной системы MBS-Axapta
Проектирование и разработка программной системы ExPlain для анализа регуляции генной экспрессии
Проектирование и реализация многослойной системы тестирования
Проектирование и реализация программного обеспечения встроенных систем с использованием объектно-базированного подхода
« первая
‹ предыдущая
…
90
91
92
93
94
95
96
97
98
…
следующая ›
последняя »