Разработка программного обеспечения
Подразделы:
Системы программирования. Теория, методы, алгоритмы, А. П. Соколов
Страниц: 320
Год издания: 2004
Язык: Русский
Пособие подготовлено на основе многолетнего опыта преподавания учебных дисциплин по системам программирования. Рассматриваются формальные грамматики и языки, их свойства и взаимосвязь с распознавателя ...
Верификация моделей программ. Model Checking, Э. М. Кларк, О. Грамберг, Д. Пелед
Страниц: 416
Год издания: 2002
Язык: Русский
В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функцио ...
Microsoft Project 2007 в управлении проектами (+ CD-ROM), Владимир Куперштейн
Страниц: 560
Год издания: 2007
Язык: Русский
Приведены практические рекомендации по управлению проектами, подробно описан интерфейс и возможности системы управления проектами MS Project 2007. Дано введение в методы управления проектами. Рассмотр ...
Microsoft Office Project 2003 Professional. Управление проектами. Самоучитель, А. К. Гультяев
Страниц: 512
Год издания: 2008
Язык: Русский
Книга посвящена описанию работы с пакетом MS Project - инструмента, предназначенного для автоматизации управления проектами. Реализованные в нем принципы позволяют не только использовать разработанные ...
Анализ алгоритмов. Активный обучающий подход, Дж. Макконнелл
Страниц: 416
Год издания: 2009
Язык: Русский
В книге обсуждаются алгоритмы решения наиболее распространенных классов задач: поиск и сортировка, численные алгоритмы и алгоритмы на графах. Особое внимание уделено алгоритмам параллельной обработки, ...