Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
динамический
Связанные издания:
Моделирование динамических конструкций языка SDL посредством раскрашенных сетей Петри
Моделирование и верификация распределенных систем, представленных на языке SDL, с помо ью языка DYNAMIC-REAL
Моделирование и оптимизация процессов функционирования информационного web-портала
Модели утилизации динамической памяти
Модель динамического параллельного исполнения программ
Модуль динамической поддержки исполнения (RTS) языка Оберон-2 в системе Mithril
Направленное динамическое символьное исполнение программ для подтверждения ошибок в программах
Недетерминированные схемы программ и динамические логики
Нейросетевая аппроксимация метода динамического программирования на основе классификаторов с преобразованием входного пространства
Неклассические уравнения Вольтерра I рода в интегральных моделях динамических систем: теория, численные методы, приложения
Некоторые вопросы многоаспектного рассмотрения баз данных в условиях динамически изменяющихся потребностей пользователей
Новые программные продукты компании Lucid Corporation
Обновления баз данных при динамических ограничениях целостности
Об управляемости линейных распределенных систем в классах обоб енных воздействий
Обучаю ая экспертная система на основе модели выбора для создания динамических БД
О логиках процессов
ООП и сортировка данных
Основы технологии OLE
О схемном методе разрешения пропозициональных динамических логик
Оценка динамических характеристик параллельной программы на модели
Параллельная динамическая семантика последовательных программ, допускаю ая спекулятивные и инкрементальные вычисления
Параллельная обработка иерархических динамических структур данных
Параллельные вычисления с динамической длиной операндов: проблемы и перспективы
Подход к разработке языка представления знаний, использую его динамическое множество ограничений
Последние достижения полупроводниковой техники и технологии в программе международной конференции по электронным приборам 1990 г.
Последовательное оценивание параметров и статистических характеристик шумов линейных динамических систем по наблюдениям с помехами
Представление изменяю ихся объектов средствами языка МОДУЛА-2
Применение динамического именования в статической среде
Проблемы динамического распараллеливания вычислений
Прогнозирование значений параметров динамических систем с помо ью адаптивного фильтра Калмана
Программные средства моделирования динамически изменяющейся структуры параллельных систем
Промежуточное представление программ для описания типов в терминах сопоставления значений с образцом
Работа с динамической памятью Borland C++
Разработка и исследование статического и динамического методов управления точностью в системе синтеза алгоритмов
Разработка средств автоматизации экспериментального анализа и исследования динамических систем
Разработчики переходят на динамические языки
Реализация динамических объектно-ориентированных вычислительных моделей в среде Semp-TAO
Реализация метода оценки формул пропозициональной динамической логики с неподвижными точками на конечных моделях
Реализация многоцелевых динамических языков программирования
Решение некоторых евклидовых комбинаторных задач оптимизации методом динамического программирования
Самомодифицирую иеся программые модули
Сателлитный видеодисплейный комплекс для визуализации и анализа динамических процессов
Свойства и методы решения динамических многокритериальных задач
Сигма-программирование и теория равенства Кларка
Синтаксический распознаватель для расширяемых языков
Система автоматического динамического распараллеливания вычислений для многопроцессорных компьютерных систем со слабой связью
Система программ динамической поддержки для транслятора с Алгола 68
Создание WLL для Microsoft Word 6.0
Сравнение системы динамического распределения памяти для АЛГОЛА 68
Средства компьютерной алгебры в пакете программ моделирования, анализа и синтеза динамических систем
« первая
‹ предыдущая
…
3
4
5
6
7
8
9
10
11
следующая ›
последняя »