Вы здесь

Главная

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

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

На пути к верификации C-программ. Язык C-light и его формальная семантика
На пути к построению об ества программ
Настраиваемый отладчик-интерпретатор ассемблерных программ
Научная визуализация в виртуальном окружении
Нахождение и использование ориентированных разрезов реальных графов алгоритмов
Нацеленная генерация данных для тестирования приложений над базами данных
Недоопределенные модели и логическое программирование: реализация ограничений
Неизбыточные алгоритмы обхода ориентированных графов. Детерминированный случай
Неизбыточные алгоритмы обхода ориентированных графов. Недетерминированный случай
"Неизвестная" в компьютерной алгебре
Нейтрализация синтаксических ошибок в графических языках
Некоторые алгоритмы анализа и синтеза многопроцессорных вычислительных систем реального времени
Некоторые алгоритмы символьных вычислений в исследованиях проблем космической динамики
Некоторые аспекты построения ассоциативной памяти на нейронных сетях Хопфилда
Некоторые аспекты реализации алгебраических структур на языке С++
Некоторые особенности программного обеспечения ЭВМ с длинным командным словом (Обзор)
Некоторые принципы организации поиска видеоданных
Неоднородное двумерное блочно-циклическое распределение данных для решения задач линейной алгебры на неоднородных сетях компьютеров
Неопределенное суммирование рациональных функций с дополнительной минимизацией просуммированной части
Неполностью описааные объекты в системах поддержки принятия решений
Непроцедурный язык для решения задач математической физики
Нестандартные модели транзакций
Неформальное введение в программирование задач обработки данных на функциональном языке
Нечеткий лингвистический интерфейс
Новые алгоритмы в теории гипергеометрических рядов и разложения Бернчелла-Чонди
Новый алгоритм разделения узла для R-дерева, основанный на двойной сортировке
Об алгоритмах символьных вычислений при исследовании устойчивости
Об алгоритмической мобильности программ
Обеспечение отказоустойчивости в распределенных средах
Обзор архитектур параллельных систем баз данных
Обзор методов извлечения информации из веб-ресурсов
Обзор методов построения покрываю их наборов
Обзор методов распараллеливания кода и программной конвейеризации
Обзор методов синхронизации времени в беспроводных сенсорных сетях
Обзор методов тестирования компиляторов
Об интерпретации функциональных языков программирования
Об информатике и ее преподавании в школе
Обнаружение неточных повторов в документации программного обеспечения
Обнаружение параллельно выполнимых шагов в программах с массивами
Об одной алгоритмически неразрешимой проблеме, связанной с разностными уравнениями с параметрами
Об одной алгоритмической оптимизации при вычислении инволютивных базисов
Об одной задаче построения энергосберегаю их расписаний
Об одной компьютерно-алгебраической технологии
Об одной методике распознавания эквивалентности в алгебраических моделях программ
Об одном алгоритме оптимизации схемы реляционной базы данных
Об одном классе алгебраических моделей программ, представляю ем практический интерес
Об одном критерии сравнимости операторных формальных моделей программ
Об одном массовом решении проблемы эквивалентных преобразований схем программ. I
Об одном массовом решении проблемы эквивалентных преобразований схем программ. II
Об одном методе диффузионной фильтрации изображений