Книга представляет собой вторую часть учебного пособия авторов "Введение в математическую логику" (1982г), но может изучаться и самостоятельно. Излагаются фундаментальные факты математической логики: начала акиоматической теории множеств, теория алгоритмов, теорема о полноте исчисления предикатов, теорема Геделя о неполноте. Обсуждается программа Гильберта обоснования математики.

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

Книга посвящена созданию приложений, написанных на языке C++, в среде разработки KDevelop. Дано описание способов взаимодействия компонентов приложений. Рассмотрена работа с утилитой Qt Designer и описаны основные элементы управления, используемые в диалоговых окнах, а также классы, созданные для работы с ними. Читатель знакомится с концепцией Документ/Представление и учится создавать элементы пользовательского интерфейса приложения. Кроме того, в отдельных главах разбираются вопросы вывода на экран различной информации, сохранения и восстановления ее из файла, создания текстовых редакторов, работы с шаблонами классов и функций и организации многозадачности в приложении на основе взаимодействующих процессов. В завершение предоставляются рекомендации по созданию справочной системы приложения.

Компонента для отправки СМС сообщений через телефон подключенный к компьютеру посредствам дата-кабеля, ИК или bluetooth. Так же требуется, чтобы телефон поддерживал последовательные порты (COM-порты).

Если вам надо быстро найти решение при работе с программным обеспечением Adobe Flash® или Adobe Flex™, возьмите «ActionScript 3.0. Сборник рецептов». Более 300 рецептов этого практического инструментария дадут ответы на все вопросы, касающиеся ActionScript 3.0. Среди них: определение версии Flash Player или операционной системы пользователя, форматирование дат и представление сумм в разных валютах, обработка пользовательского ввода и работа с текстовыми строками, создание графических объектов во время выполнения, работа с аудио- и видеоданными, удаленный вызов процедур с использованием технологии Flash Remoting, а также загрузка, отправка и поиск XML- данных.

В книге подробно описано внутреннее устройство и функционирование об- щеязыковой исполняющей среды (CLR) Microsoft .NET Framework. Подробно изложена развитая система типов .NET Framework и разъясняются способы управления типами исполняющей средой. Хотя примеры в книге написаны на С*, представленные в ней концепции относятся ко всем языкам, ориентированным на работу с .NET Framework. Книга ориентирована на разработчиков любых видов приложений на платформе .NET Framework: Windows Forms, Web Forms. Web-сервисов, консольных приложений, служб и пр. Предполагается знакомство читателя с основными концепциями объектно-ориентированного программирования и знание языков программирования. Книга состоит из 20 глав и предметного указателя.

Книга полезна как начинающим, так и опытным разработчикам, планирующим переход на Visual Basic.NET.