|
The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called «abstract interpretation» currently being used in various industrial fields: railway, aeronautics, space, automotive, etc. The purpose of this book is to present students and researchers, in a single book, with the wealth of experience of people who are intrinsically involved in the realization and evaluation of software-based safety critical systems. As the authors are people currently working within the industry, the usual problems of confidentiality, which can occur with other books, is not an issue and so makes it possible to supply new useful information (photos, architectural plans, real examples). Получить ссылку |
Microsoft SQL Server 2005 Analysis Services. OLAP и многомерный анализ данных
Автор: А. Б. Бергер
Год издания:
Книга, написанная разработчиками Microsoft SQL Server 2005 Analysis Services, дает читателю полное представление об его функционировании и устройстве. В ней рассмотрены основы многомерного анализа данных и дано глубокое представление о многомерных моделях данных и устройстве OLAP-сервера. Описаны основные концепции языка доступа к многомерным данным MDX и его расширенные возможности, а также архитектура сервера, методы обработки данных и алгоритмы доступа к данным. Приведены внутренние и внешние протоколы обмена данными, включая протокол XML/A. Рассмотрены алгоритмы управления ресурсами Analysis Services, в том числе алгоритмы управления памятью. Описан процесс создания эффективных клиентских приложений с использованием Analysis Services, механизмы интеграции многомерных и реляционных баз данных. Уделено внимание безопасности, а также администрированию Microsoft SQL Server 2005 Analysis Services. Для разработчиков и бизнес-аналитиков.
Autodesk Robot Structural Analysis Professional. Проектно-вычислительный комплекс
Автор: В. В. Сухоруков
Год издания:
В книге рассматриваются основные функции программного комплекса Autodesk Robot Structural Analysis Professional, достаточные для выполнения расчетной части проектной документации строительных конструкций. Изложение материала осуществляется простым, доступным языком для специалиста конструкторского проектирования, среднестатистического уровня. В книге в качестве примера описывается ход проектирования здания смешанной конструктивной системы из железобетонных и стальных элементов. Процесс обучения начитается от начальных этапов работы с исходными данными (настроек, заданием осей и т. п.) и заканчивается этапами подготовки документации стадии П проекта (подбор сечений, армирования и т. п.). Книга будет полезна как начинающим специалистам, так и опытным конструкторам в целях рассмотрения подхода к проектированию и проектных решений реализованных на данном программном комплексе. К печатному изданию прилагается DVD-диск с демонстрационной версией программы
Чтобы скачать книгу, отключите блокировку рекламы. Спасибо!
Stylistic analysis of a literary text. Theory and practice / Стилистический анализ художественного текста. Теория и практика
Стратегия и тактика анализа текста / The Strategy and Tactics of Text Analysis. Учебное пособие
