Прибыль можно копировать! Дешевые домены в зоне RU Карта сайта Корзина В корзине: 0 товаров
На сумму: 0 руб.

Новинки

А. В. Бабичев. Распознавание и спецификация структур данных
Ценa:393 руб.Купить

А. В. Бабичев. Распознавание и спецификация структур данных

Издательство:Ленанд
Год издания:2009
Страниц:192
ISBN:978-5-9710-0215-4

В работе представлен аппарат, позволяющий автоматизировать процесс анализа и верификации структур данных, организованных в виде множества ссылающихся друг на друга объектов. Подобные структуры данных можно рассматривать как размеченные ориентированные графы. Соответственно, спецификацию данных можно рассматривать как описание множества графов, удовлетворяющих некоторым заданным свойствам, а распознавание данных - как процедуру проверки заданного графа (заданной структуры данных) на соответствие спецификации.
Идеологически представленный аппарат спецификации и анализа графов аналогичен технике использования теории конечных автоматов для распознавания текстов.
Для специалистов в области теории алгоритмов и основ программирования, а также для аспирантов и студентов старших курсов ...

Все новинки

Лидеры продаж

Все бестселлеры

Основания математики, математическая логика

Алгебра

Геометрия

Общая математика

Высшая математика

Математический и функциональный анализ

Вычислительная математика, численные методы

Математическая кибернетика

Математическое моделирование

Теория вероятностей и математическая статистика