Название: Practical Foundations for Programming Languages, 2nd Edition
Автор: Robert Harper
Издательство: Cambridge University Press
Год: 2016
Страниц: 512
Формат: PDF, EPUB
Размер: 30 Mb
Язык: English

This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics.

Название: From Mathematics to Generic Programming
Автор: Alexander A. Stepanov, Daniel E. Rose
Издательство: Addison-Wesley Professional
Год: 2014
Страниц: 320
Формат: PDF, EPUB
Размер: 11 Mb
Язык: English

In this substantive yet accessible book, pioneering software designer Alexander Stepanov and his colleague Daniel Rose illuminate the principles of generic programming and the mathematical concept of abstraction on which it is based, helping you write code that is both simpler and more powerful.

Название: Дача и жизнь
Издательство: С-медиа
Год: 2017
Номер: 6 (38)
Страниц: 48
Формат: PDF
Размер: 50 Мб



Журнал для садоводов и огородников. Рубрики номера: полевые работы, народный календарь, от зари до зари, экзотика на даче и дома, ландшафтный дизайн, цветы на даче и дома, лунный календарь садовода, погода в доме, мастер на все руки, школа садовода, дачная аптека, письма читателей, мини-ферма, земля и право.

Название: Подводный фронт «холодной войны»
Автор: Борисов В., Лебедько В.
Издательство: Terra Fantastica
Год: 2002
Формат: PDF
Страниц: 480
Размер: 33,5 Мб
Язык: Русский

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

Автор: Ю Несбё
Название: Жажда (Аудиокнига)
Озвучивают: Иван Литвинов
Издательство: Азбука-Аттикус
Жанр: Детектив, триллер
Язык: Русский
Год: 2017
Формат: mp3
Битрейт аудио: 54 kbps
Размер: 439,9 mb
Продолжительность: 19:07:06

Одиннадцатый роман норвежского писателя Ю Несбё из цикла о следователе Харри Холе. В нем главный герой возвращается в полицию Осло, чтобы поймать серийного убийцу, который ищет жертв на сайтах знакомств.

Название: Лес Богов
Автор: Сруога Балис
Издательство: Государственное издательство художественной литературы Литовской ССР (Вильнюс)
Год: 1958
Формат: PDF/DjVu
Страниц: 501
Размер: 18,8 Мб
Язык: Русский

Литовский писатель Балис Сруога (1896-1947) в 1943-45 гг. был узником Штутгофского концентрационного лагеря. В этой книге мемуарного характера, пронизанной сильным антифашистским звучанием, он повествует о годах, проведенных за колючей проволокой. Книга носит мемуарный характер.

Название: Гражданская война в России: Война с белополяками
Автор: Какурин Н. Е., Меликов В. А.
Издательство: СПб.: Terra Fantastica
Год: 2002
Серия: Военно-историческая библиотека
Формат: pdf
Страниц: 497
Размер: 6,2 Mb
Язык: Русский

Тема Гражданской войны в России в нашей стране до настоящего времени освещалась хотя и широко, но всё же недостаточно полно и объективно. Кроме того, многие издания, выходившие в 20–30-х годах XX века, давно стали библиографической редкостью, а эмигрантская литература была недоступна нашему читателю.Данный том посвящён войне с Польшей 1920 года, в результате которой Россия потеряла западные земли Украины и Белоруссии и была обязана уплатить Польше 30 млн. золотых рублей.Книга была написана сразу после войны и позже не подвергалась цензуре, в ней использованы уникальные архивные документы, она снабжена картами и подробными приложениями и будет интересна любителям военной истории.

Название: Comment realiser peluches et objets de chiffon
Автор: M Ratto
Издательство: de Vecchi
Год: 1999
Формат: jpg
Страниц: 96
Размер: 17.9 Мб
Язык: французский

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

Название: Войны Московской Руси с Великим княжеством Литовским и Речью Посполитой в XIV – XVII веках (2013)
Автор: Тарас Анатолий Ефимович
Год издания: 2013
Издательство: Харвест
Страниц: 800, Ил.
Формат: PDF
Размер: 62 Мб

Книга посвящена рассмотрению многочисленных войн Московской Руси с Великим княжеством Литовским и Речью Посполитой, происходивших в течение более чем 300 лет. Попутно описаны некоторые другие вооруженные конфликты: гражданские войны феодального периода, татарские набеги, казацкие восстания. Ныне события тех далеких времен отчасти забыты, отчасти недостаточно изучены, отчасти известны в искаженном виде. В основу книги легли труды дореволюционных историков (Карамзина, Соловьева, Костомарова и многих других), а также исследования современных российских и белорусских ученых. Книга рассчитана на самый широкий круг читателей: от профессиональных историков до учащихся старших классов школ.

Название: История Москвы глазами русских и зарубежных фотографов
Автор: Коллектив
Год издания: 1997
Издательство: Московский Дом фотографии, Ассоциация «Искусство конца века»
Страниц: 162
Формат: DJVU
Размер: 42 Мб

Издание приурочено к открытию фотофестиваля «История Москвы глазами русских и зарубежных фотографов» 23 апреля - 20 мая 1997 года
Фестиваль проводится под патронажем мэра Москвы Ю.М. Лужкова
Учредители: Правительство Москвы, Комитет по культуре Москвы
Концепция и реализация проекта: Московский Дом фотографии, Ассоциация «Искусство конца века»