Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
Иркутск
Связанные издания:
Σ-программирование и задачи дискретной оптимизации
Алгоритмическое обеспечение численного моделирования линейных процессов оптимального управления
Аналитические методы решения нелинейных операторно-функциональных уравнений в нерегулярных случаях
Бесповторные и слабоповторные булевы функции в предэлементарных базисах
Вехи полувекового пути. Книга 1. К научной истории института
Вехи полувекового пути. Книга 2. Воспоминания и размышления
Вехи полувекового пути. Книга 3. Не наукой единой
Задачи управления параметрами и их приложение к развитию методов улучшения
Идентифицируемость и вариационные оценки параметров дискретных стационарных линейных динамических систем
Инструментальное средство для создания гибких информационно-аналитических систем
Информационная система для поддержки принятия решений по рациональному использованию лесных ресурсов
Исследование и численное решение некоторых классов вырожденных систем уравнений в частных производных
Квазиградиентные методы решения задач оптимального управления
Математическое и программное обеспечение формирования и реконструкции радиоизображений на Сибирском солнечном радиотелескопе
Матричные фундаментальные оператор-функции вырожденных операторно-дифференциальных систем
Метод идентификации объектов на основе логических описаний деформируемых моделеей
Методика решения задач оптимизации региональной транспортно-логистической инфраструктуры
Метод логико-алгебраических уравнений в анализе динамических систем
Методы и программные средства создания интеллектуальных систем с декларативными базами знаний на основе модельных трансформаций
Методы, модели и инструментальное средство для исследовния надежности и безопасности сложных технических систем
Методы решения дифференциально-алгебраических и вырожденных интегральных систем
Методы улучшения в задаче оптимального управления на сети операторов
Минимизация булевых функций в классах бинарных термов и полиномиальных нормальных форм
Нахождение, оценка и сравнение числа бесповторных булевых функций в различных базисах
Неклассические уравнения Вольтерра I рода в интегральных моделях динамических систем: теория, численные методы, приложения
Обобщенные пирамиды Паскаля и их приложения
Операторы в полиномиальных представлениях булевых функций
Оптимальное управление начально-краевыми условиями полулинейных гиперболических систем
Представление знаний и семантическое программирование
Принципы построения и программное обеспечение корпоративных информационных систем на основе технологий распределенных вычислений
Проблемы повышения эффективности БЭСМ-6 (Материалы по математическому обеспечению ЭВМ)
Программная система МЭПР для моделирования и многокритериальной оценки вариантов регионального развития
Процедурная семантика и стратегии поиска решения в системе Флэнг
Развитие алгоритмов внутренних точек и их приложение к системам неравенств
Развитие методов автоматизации и разработка системы математического моделирования теплоэнергетических установок
Разрешимость и качественные свойства алгебро-дифференциальных систем
Решение задач квадратичного программирования с помо ью эллипсоидальных аппроксимаций допустимого множества
Сложность булевых функций в классах полиномиальных форм
Стягиваемые булевы функции и минимизация в нормальных формах
Су ествование и сложность представлений булевых функций формулами
Су ествование и сложность представлений булевых функций формулами
Теория фундаментальных оператор-функций вырожденных интегро-дифференциальных операторов в Банаховых пространствах
Технология интеграции информационно-аналитических ресурсов для обеспечения градостроительной деятельности
Экстремальная задача теории квадратур: методы решения и приложения к инженерным задачам