Целью книги является постановка базовых проблем теории формальных языков, разъяснение задач построения трансляторов. Представлена основная концепция трансляции - синтаксически ориентированная обработка...
Книга посвящена возможностям эндоваскулярного лечения ИБС. Рассматриваются современные показания к чрескожным коронарным вмешательствам (ЧKB), лекарственные препараты, применяемые при ЧKB, подходы к проведению...
Монография посвящена современным взглядам на диагностику стабильной ИБС и дифференцированному подходу к ее лечению у различных категорий больных. Рассмотрены основные принципы стратификации пациентов по...
В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации,...
Монография посвящена одному из самых значительных социальных явлений в истории новейшего времени Дагестана - переселению жителей горных районов на равнину. Актуальность проблемы обусловлена тем, что в...