Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
дискретный
Связанные издания:
TWLinuX: Operating System Support for Optimistic Parallel Discrete Event Simulation
Using Message Semantics to Reduce Rollback in the Time Warp Mechanism
Σ-программирование и задачи дискретной оптимизации
Абстрактная интерпретация императивных программ
Анализ и синтез дискретных систем управления в условиях нестохастической неопределенности
Анализ производительности параллельных систем в алгебре dtsiPBC
Введение в дискретную математику. Части 1 и 2. Методические рекомендации
Введение в дискретную математику. Часть 3. Методические рекомендации
Виртуальная реальность: новое измерение или новая Вселенная?
Вопросы построения интегрированной прикладной системы МИСС
Граф-модели систем и основные принципы их исследования
Дискретные динамические системы с симметриями: компьютерный анализ
Дискретные модели несжимаемой жидкости
Дискретные процессы: спецификация и имитационное моделирование
Дискретный анализ
Единая технология построения дискретных моделей трехмерных статических и динамических задач упругих и неупругих тел, алгоритмы их решения, программное обеспечение и численный анализ результатов
Задачи стохастической оптимизации параметров эксперимента на примере информационных систем
Идентифицируемость и вариационные оценки параметров дискретных стационарных линейных динамических систем
Инструментальные средства поддержки процесса создания программных систем дискретной оптимизации
Использование ДКП для ускорения фрактального сжатия изображений
Исследование эквивалентностных отношений структур событий с дискретным временем
К вопросу измерения системы трансляции с языка дискретного моделирования
Комбинаторно-алгебраические методы в дискретной оптимизации: Межвуз. сборник науч.тр.
Компьтер и задачи выбора
Локальные элиминационные алгоритмы для разреженных задач дискретной оптимизации
Методология построения гибридных информационных интеллектуальных систем поддержки принятия решений на основе параметрических логик в слабо структурированных предметных областях
Методология проектирования дискретных промышленных технологий
Моделирование дискретных динамических систем сетевой структуры на СИМУЛА-67
Моделирование дискретных преобразователей информации
Об оценке вероятности отсутствия коллизий некоторых случайных отображений
Об условиях устойчивости векторной траекторной задачи лексикографической дискретной оптимизации
Об уточнении класса задач, решаемых недетерминированной машиной Тьюринга
Операторы в полиномиальных представлениях булевых функций
Оптимальный алгоритм информационного обмена в полудуплексном тракте
Оптимизация дискретных преобразователей по быстродействию и практический метод конструирования специальных моделирующих систем
О распознавании свойств дискретных преобразователей в многоленточных многоголовочных автоматов
Пакет моделирования распределенных дискретных систем на Модула-2
Программные средства логического синтеза функциональных схем дискретных устройств
Разработка и исследование способов обнаружения состояний в сложных дискретных устройствах
Разработка и реализация средств автоматизации структурного проектирования дискретных систем управления
Разработка принципов и методов построения устройств логического управления дискретными технологическими процессами на основе сетей Петри
Распараллеливание процесса оптимизации для задач дискретного программирования
Распознавание интервального порядка на базе локальных вычислений
Решение больших систем полиномиальных уравнений, возникаю их в дискретной дифференциальной геометрии
Системы массового обслуживания в дискретном времени с поступаю им потоком и накопителем сложной стуктуры
Устойчивость и регуляризация векторной лексикографической задачи квадратичного дискретного программирования
Формальные методы анализа дискретных систем с использованием языка спецификаций
Функциональная верификация дискретных устройств с использованием логического программирования
Эквивалентные представления дискретных автоматов
Эффективная визуализация объемов с помо ью октантных деревьев
« первая
‹ предыдущая
1
2
3
4
следующая ›
последняя »