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

Перед вами сборник лучших рецептов из трех книг Валентино Бонтемпи. Валентино – один из лучших шеф-поваров столицы, который создает кулинарные шедевры уже около 25 лет. В книге собраны самые популярные рецепты: соусы, аперитивы и закуски, салаты и супы, паста и ризотто, блюда из самого разного мяса, а также выпечка и десерты. Все рецепты неоднократно приготовлены и проверены Валентино Бонтемпи. А главное, все этапы приготовления блюд подробно расписаны, поэтому приготовить их сможет даже начинающий кулинар!

Книга отвечает на вопрос, который чаще всего задают доктору Родионову на приеме, в письмах, на теле– и радиоэфирах: "Так как же мне укрепить сосуды?" Мировая кардиология знает ответ, поэтому за рубежом те, кто следует врачебным рекомендациям, живут до 80–90 лет. Читатель этой книги тоже имеет возможность не тратить время и деньги на непроверенные средства.

Это не просто книга рецептов, но руководство пользователя и источник вдохновения для всех тех, кто интересуется сложным и разнообразным внутренним миром животных.

В подарочную энциклопедию «Вино и еда. Краткий курс для гурманов» вошли лучшие статьи самого популярного журнала о вине "Simple Wine News". Подобрать вино к любой, даже самой непривычной еде не так уж сложно, если знать основные принципы соединения вин и блюд. В книге представлены основные правила, инфографика о сочетании разных типов вин с сырами, морепродуктами, мясными деликатесами, пастой с разными соусами и так далее, справки по главным национальным блюдам и винам разных стран и регионов и множество полезных советов для самых разных трапез, от пикника до банкета. Десятки видов рыб, мяса, сыров и морепродуктов, рецепты и мастер-классы, а также уникальные таблицы сочетаемости продуктов с винами помогут сделать ваш выбор всегда безупречным.

Впервые в серии избранные произведения разных лет короля юмора, живого классика, великого сатирика Михаила Жванецкого! Как я пишу?.. Если бы я знал и мог объяснить, я бы преподавал. Я сам не знаю. И не скромничаю, не дай бог. Не скажу, что часто спрашивают, не скажу, что много писем приходит

В пособии представлены элементы интерфейса программы, даются объяснения по выполнению основных команд чертежно-конструкторского редактора КОМПАС-График-3D VI4

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

Новая «Секретная книга internet-пирата» поможет пользователям продолжать свободно и безопасно пользоваться всеми бесплатными возможностями всемирной виртуальной сети, легко обходить уже введенные ограничения и запреты в Интернете, а также те, что, вероятно, будут введены в ближайшее время. Всем, кто только начинает знакомиться с Интернетом, автор подскажет, как правильно пользоваться его бесплатными возможностями: бесплатно качать, бесплатно слушать, бесплатно смотреть и т.д.

Kнига описывает внутренние особенности ОС Windows, среды выполнения CLR и аппаратного обеспечения, влияющие на производительность приложений, а также дает вам знания и инструменты для измерения производительности вашего кода в изоляции от внешних факторов