В книге рассказывается о новых результатах в области верификации с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях.

Книга предоставляет информацию об интегрированной среде разработки C/SIDE, с помощью которой ведется расширение функциональных возможностей системы Microsoft Dynamics NAV.

ArchiCAD - программа архитектурно-строительного проектирования, получившая признание тысяч пользователей по всему миру.

Рефакторинг представляет собой эффективный путь быстрого обнаружения и устранения проблемного кода.

Даны практические рекомендации по документированию проектов, управлению ими и применению новой версии самой популярной системы управления MS Project 2010.

Задача этой книги — кратко, доступно и строго изложить основы С#, одного из самых перспективных современных языков программирования.

Дисциплина Основы функционирования систем сервиса является базовой для подготовки специалистов в сфере сервиса и предназначена для изучения в течение трех семестров.

Рассматриваются вопросы физического моделирования окружающего мира при разработке компьютерных игр. Кроме собственно физики в книге приводятся примеры практического применения физических моделей в играх.

Энциклопедия цифровой фотографии - комплексное руководство, в котором максимально полно и профессионально раскрыты все вопросы, касающиеся современной фотосъемки.

Существует много методик изучения Photoshop, от простого прочтения справочных материалов, поставляемых с продуктом до прохождения платных экспресс курсов.