Автор: Николас А. Солтер, Скотт Дж. Клепер
Название: C++ для профессионалов
Год издания: 2006
Серия: Программистам от программистов
Страниц: 912
ISBN: 5-8459-1065-Х, 0-7645-7484-1
Формат: djvu
Размер: 21 Мб
Язык: русский
Качество: хорошее

В этом практическом руководстве с большим количеством примеров представлены все грани разработки приложений на C++, включая этапы проектирования, тестирования и отладки. Здесь описаны простые, но мощные методы, используемые профессионалами, малознакомые, но весьма полезные средства и многократно применяемые шаблоны проектирования. В книге демонстрируются различные методики и хороший стиль программирования, а также предлагаются пути повышения качества кода и эффективности программирования в целом. Вы узнаете, как написать межплатформенный и межъязыковый код, выполнить поэлементное тестирование, а также использовать стандартную библиотеку C++.

Автор: Ю. Г. Карпов
Название: Model Checking. Верификация параллельных и распределенных программных систем
Год : 2010
Страниц: 552
ISBN: 978-5-9775-0404-1
Формат: djvu
Размер: 12,2 Мб
Язык: русский
Качество: хорошее

В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающие диаграммы, символьная верификация, количественный анализ систем и системы реального времени, а также применение фундаментальных идей алгоритма model checking в различных приложениях.
На прилагаемом компакт-диске находятся: инструкция по установке системы верификации Spin, методическое пособие по этой системе и описание курсовой работы по верификации нетривиальной системы логическом управления с несколькими вариантами заданий.

Автор: А. К. Гультяев, В. А. Машин
Название: Проектирование и дизайн пользовательского интерфейса
Год : 2007
Страниц: 352
ISBN: 978-5-7931-0477-7
Формат: pdf+djvu
Размер: 5.2 Мб
Язык: русский
Качество: хорошее

Книга представляет собой попытку обобщения зарубежного и отечественного опыта в создании пользовательского интерфейса с учетом последних достижений в области визуального программирования. При этом основное внимание уделено практическим вопросам проектирования и реализации графического интерфейса пользователя (GUI). Рассматриваемая технология излагается с учетом особенностей применения наиболее распространенных средств визуального программирования: Visual C++, Visual Basic, Delphi.

Автор: С. Браун
Название: Visual Basic 6. Учебный курс
Год : 2007
Страниц: 576
ISBN: 5-469-00779-0, 0-7821-2310-4
Формат: DOC
Размер: 29.5 Мб
Язык: русский
Качество: хорошее

Книга Стива Брауна - известного специалиста в области программирования на языке Visual Basic - недаром стала бестселлером и завоевала заслуженную популярность у начинающих программистов. Систематическое изложение материала - от разработки интерфейса и простейших систем управления базами данных до интеграции с ActiveX и Windows API - делает этот курс незаменимым пособием для изучения Visual Basic 6. Каждый урок дополнен примерами исходного кода, которые можно использовать как готовые работающие программы. Освоив материал данного курса, даже начинающий программист сможет создавать и мощные автономные приложения, и служебные утилиты, и игры, и справочные файлы.

Автор: Люк Эхерн
Название: Создание компьютерных игр без программирования
Год : 2001
Страниц: 304
ISBN: 5-94074-066-9, 1-886801-48-7
Формат: DJVU
Размер: 81.3 Мб
Язык: Русский
Качество: хорошее

Эта книга написана профессиональным разработчиком игр, обладателем престижных премий Dead Reckoning и Sorcerer. В ней рассказывается о том, как с помощью программ The Games Factory и The PIE 3D Game Creation System и других полезных утилит создать зрелищные и увлекательные игры, не написав при этом ни строчки программного кода. Описаны процедуры разработки персонажей, вооружения, декораций, подсчета очков, особенности создания экранных заставок, рекламных роликов и т.д.