Вы здесь

Главная

Программирование

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

Активные базы данных: аналитический обзор
Акторный Пролог
Алгебраическая теория возму ений для атома водорода в слабых электрических полях
Алгебраический подход к формализации дедуктивных языков запросов
Алгоримы вычисления атрибутов в атрибутных грамматиках
Алгоритм адаптивного изменения меню программного приложения
Алгоритм вычисления степенных сумм корней для класса систем нелинейных уравнений
Алгоритмические вопросы конъюнктивной декомпозиции булевых формул
Алгоритмический метод оптимизации оценки трудозатрат
Алгоритм канонизации пар схем программ с перестановочными операторами
Алгоритм оптимизации потоков работ
Алгоритм построения оптимальной компоновки одинаково распределенных систем
Алгоритм построения расписаний обменов по шине с централизованным управлением и исследование его эффективности
Алгоритм проверки включения схем в алгебраической модели программ с константами
Алгоритм разбиения множества на простые части
Алгоритм упро ения тензорных выражений в компьютерной алгебре
Алгоритмы выявления исключений в системах интеллектуального анализа данных
Алгоритмы динамической балансировки загрузки при реализации метода частиц в ячейках на МИМД мультикомпьютерах
Алгоритмы интеграции СУБД PostgreSQL с семантическим веб
Алгоритмы разпознавания структурированных документов с переменным составом
Анализ корректности параллельной программы разделения множеств
Анализ некоторых семантических свойств программ аппликативного языка AL
Анализ поведения дискретных динамических систем средствами логического программирования
Анализ производительности параллельных систем в алгебре dtsiPBC
Анализ регионов для дедуктивной верификации Си-программ
Аннотирование программ и их преобразование
АНФОР - расширение Фортрана для систем аналитических выкладок с фиксированным форматом
Априорный и апостериорный расчет погрешностей восстановлениятрехмерных сцен алгоритмами факторизации
Архитектура МКП и организация программирования
Архитектура системы семантической интеграции данных на основе семантически полных модели и языка запросов
Архитектурный рефакторинг корпоративных программных систем
Ассоциированные типы и распространение ограничений на параметры-типы для обоб енного программирования на Scala
Базовые принципы и способы применения грида
Базовый язык параллельного программирования
Базовый язык параллельного программирования БАРС
Базы данных над фиксированным бесконечным универсумом
Базы данных типа Web, антифундированные множества и индуктивная определимость
Безопасные вычисления с цепочками рекурренций
Бесконечные строки, порожденные вставками
Бесшовное проектирование: снова о несоответствии импенданса
Библиотека функционального программирования для языка C++
Быстрая лексикографическая сортировка
Быстрый алгоритм классификации сейсмических событий на базе распределенных вычислений Apache Spark
Быстрый алгоритм поиска распределённых рассеивателей SqueeSAR в задаче построения скоростей смешений земной поверхности
Быстрый метод лексического анализа
Быстрый поиск делителя Жане
Введение в WF-семантику
Веб-платформы для научных исследований
Верификация как параметризованное тестирование (эксперименты с суперкомпилятором SCP4)
Верификация коммуникационных протоколов, представленных на языке Estelle, с помо ью сетей Петри высокого уровня