Алгоритмы и методы. Искусство программирования
Системы программирования. Теория, методы, алгоритмы, А. П. Соколов
Страниц: 320
Год издания: 2004
Язык: Русский
Пособие подготовлено на основе многолетнего опыта преподавания учебных дисциплин по системам программирования. Рассматриваются формальные грамматики и языки, их свойства и взаимосвязь с распознавателя ...
Верификация моделей программ. Model Checking, Э. М. Кларк, О. Грамберг, Д. Пелед
Страниц: 416
Год издания: 2002
Язык: Русский
В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функцио ...
Анализ алгоритмов. Активный обучающий подход, Дж. Макконнелл
Страниц: 416
Год издания: 2009
Язык: Русский
В книге обсуждаются алгоритмы решения наиболее распространенных классов задач: поиск и сортировка, численные алгоритмы и алгоритмы на графах. Особое внимание уделено алгоритмам параллельной обработки, ...
Методы оптимизации. Компьютерные технологии, И. Г. Черноруцкий
Страниц: 384
Год издания: 2011
Язык: Русский
В книге изложены теория, методы и основные элементы компьютерных технологий оптимизации. Наиболее подробно описаны методы решения конечномерных задач с учетом таких особенностей, как невыпуклость и пл ...
Windows 8. Разработка Metro-приложений для мобильных устройств, В. А. Дронов
Страниц: 528
Год издания: 2012
Язык: Русский
Книга посвящена разработке Metro-приложений - нового класса приложений, работающих под управлением платформы Metro, входящей в состав Windows 8. Описана разработка приложений, предназначенных для устр ...