Вы здесь

Главная

Кибернетика и системный анализ

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

A General Theory of Action Languages
CASE-технологии проектирования программного обеспечения
Computing Ground Reducibility and Inductively Complete Positions
Interprocedural Pointer Alias Analysis
Texture analysis by accurate identification of simple markovian models
Автоматизация построения уравнений геометрических объектов в методе R-функций
Автоматизация составления параллельных программ для вычислительных систем с MIMD-архитектурой
Автоматический синтез расчетных программ на основе анализа семантики показателей
Агентные технологии для отбора информативных признаков
Адаптивный отбор образцов при измерении параметров трафика компьютерной сети с использованием нечеткого регулятора и нейронной сети
Алгебра алгоритмов, базирую аяся на данных
Алгебраический подход к задаче решения систем линейных неравенств
Алгебро-алгоритмические аспекты полноты: абстракции, биология и экология
Алгебро-грамматический подход к проектированию интерфейса
Алгебры гиперсхем и интегрированный инструментарий синтеза программ в современных объектно-ориентированных средах
Алгебры Глушкова и теория клонов
Алгоритмические алгебры Глушкова и проблемы моделирования систем
Алгоритмическое обеспечение и вычислительные возможности интеллектуального программного средства LINSYST
Алгоритм оптимальной линейной экстраполяции реализации векторной случайной последовательности, наблюдаемой без погрешностей
Алгоритм формальной верификации шаблонов бизнес-процессов
Алгоритмы качественного исследования сложных систем
Алгоритмы параллельных вычислений для задач линейной алгебры с матрицами нерегулярной структуры
Анализ и синтез дискретных систем управления в условиях нестохастической неопределенности
АНАЛИТИК-93
Аналитический метод решения игровой задачи о "мягкой посадке" для движу ихся объектов
Аппликативные композиции частичных предикатов
Архитектура онтоголоуправляемых компьютерных систем
Асимметричные криптографические алгоритмы
Асимптотический подход к решению многокритериальной трехиндексной планарной системы выбора
Ассоциативный параллельный алгоритм для динамической обработки минимального каркаса после добавления к графу новой вершины
Бионический подход к представлению знаний в интеллектуальных системах. I
Быстрый алгоритм для умножения матриц и его эффективная реализация на систолических массивах
Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри
Верификация программ линейной алгебры в системе СПЕКТР
Верификация программ: состояние, проблемы, результаты. Часть 2
Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке
Верификация финитных итераций над наборами изменяемых структур данных
Вероятностная схема независимых случайных элементов, распределенных на конечной решетке. I.Точные распределения вероятностей функционалов объединения случайных элементов
Взвешенное моделирование вероятности монотонного отказа системы при су ественно различных характеристиках надежности ее элементов
В круге разработки
В.М.Глушков и интеллектуализация ЭВМ
В.М.Глушков и ЭВМ новых поколений
Время поиска по сходству в ассоциативной памяти для бинарных векторов
Входной язык описания тестов на основе расширенных MSC диаграмм
Вычислительные аспекты технологии компьютерного дифференцирования
Вычислительные эксперименты в арифметической геометрии над конечными полями и их компьютерная поддержка
Гарантированное оценивание состояний динамических систем методом двустороннего динамического программирования
Генерация символьный трасс в системе инсерционного моделирования
Гипертекст - новая информационная технология
Гипертекстовая модель электронного документооборота