УЧЕБНИКИ
ДЛЯ ВУЗОВ

   
Нужно стремиться к тому, чтобы каждый видел и знал больше, чем видел и знал его отец и дед.
Чехов А.П.

Учебники для вузов: Новинки



Для связи: info@vuz-uchebniki.ru




высшее образование / учебники для вузов / литература для студентов и педагогов / литература для аспирантов


А. В. Бабичев

Распознавание и спецификация структур данных




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






Студенту на заметку:
Бизнес делает ставку на науку
Вопрос взаимодействия бизнеса и науки стоит достаточно остро. Юным ученым часто не хватает заказчика и средств для продвижения своих разработок на рынке. Считается, что именно инновации должны стать одними из главных движущих сил развития экономики. Однако существует огромное количество нерешенных вопросов о том, как помочь молодым ученым вывести свои разработки за пределы научных лабораторий и исследовательских центров. В конце ноября в Научном центре РАН состоялся бал научной...


Арктический торт от Ирины Кошевой на стенде Адмиралтейского района в Ленэкспо
Кондитерская студия-мастерская Ирины Кошевой "Арт-трио"