Вы здесь

Главная

алгебраический

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

Verifying Properties of Module Construction in Type Theory
View Consistency in Software Development
Volumetric Shape Description of Range Data using "Bobby Model"
XIII. KIV
XII. Spectrum
Абстрактная модель компилятора как результат алгебраической семантики языка программирования
Автоматно-полугрупповые модели программ
Алгебраическая геометрия
Алгебраическая модель императивной программы
Алгебраическая модель совокупности типов объектов с неявным состоянием
Алгебраическая теория возму ений для атома водорода в слабых электрических полях
Алгебраические решетки первичных структур событий
Алгебраический подход к задаче решения систем линейных неравенств
Алгебраический подход к построению нормативной алгоритмической модели производственной организации
Алгебраический подход к формализации дедуктивных языков запросов
Алгебраическое исчисление для алгоритмов над графами и алгоритмов сортировки
Алгоритмическое обеспечение и вычислительные возможности интеллектуального программного средства LINSYST
Алгоритм построения алгебраической спецификации сетей Петри
Алгоритм проверки включения схем в алгебраической модели программ с константами
Алгоритм распознавания достаточной полноты алгебраической спецификации абстрактного типа данных
Аналитическая геометрия. 1-Комплексные проективные многоообразия
Введение в алгебраические и абелевы функции
Введение в алгоритмику
Временная логика с позиций алгебраического аппарата интенсиональных отношений
Генерация выполняемого кода для языка алгебраических спецификаций
Дедуктивные средства системы алгебраического программирования
Динамические системы с неявным состоянием
Дискретная математика и комбинаторика
Доказательство свойств функциональных программ методом насы ения равенствами
Инволютивные системы алгебраических уравнений
Инструментальная система обучения алгебраическим преобразованиям
Исследование двухпараметрической алгебраической модели программ по методикам, разработанным для однопараметрических моделей
Исследование и проектирование сложных систем
Исследования в теории алгебраических моделей программ с процедурами
Комбинаторно-алгебраические методы в дискретной оптимизации: Межвуз. сборник науч.тр.
Комбинаторно-алгебраические методы в прикладной математике (Межвузовский сборник)
Комбинаторно-алгебраические методы в прикладной математике (Межвузовский сборник)
Лекции о кривых на алгебраической поверхности
Лекции по алгебраической топологии. Теория гомотопий клеточных пространств
Логико-алгебраическая модель диагностической экспертной системы
Логико-алгебраическая модель информационно-поисковой системы с интерфейсным компонентом
Метаалгебры формальных языков и их приложения
Метод решения систем линейных алгебраических уравнений с m-мерными лямбда-матрицами
Метод хеширования для базы данных алгебраических выражений
Методы и средства алгебраического программирования
Механизм для формального описания динамических систем
Некоторые вопросы оптимальной реализации алгоритмов
Некоторые вопросы сходимости метода недоопределенных вычислений
Об одной методике распознавания эквивалентности в алгебраических моделях программ
Об одном классе алгебраических моделей программ, представляю ем практический интерес