Название : Исследования по теории доказательств
Автор: Крайзель Г.
Издательство: Мир
Язык: русский
Год: 1981
Формат: djvu
Размер: 3 Мб
Страниц: 288

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

Автор: Кормен Томас Х.
Название: Алгоритмы. Вводный курс
Издательство: Вильямс
Язык: Русский
Год: 2014
Формат: pdf, djvu / rar
Размер: 15,02 Mb
Кол-во страниц: 208, ил.

Описание: Эта книга написана признанным авторитетом в области компьютерных алгоритмов - профессором информатики Томасом Корменом, чей труд "Алгоритмы: построение и анализ", написанный в соавторстве с такими выдающимися учеными, как Чарльз Лейзерсон, Рональд Ривест и Клиффорд Штайн, выдержав три издания, давно стал общепризнанным классическим учебником по алгоритмам.

Название: Военно-промышленный курьер
Номер: №28
Год /месяц: август 2014
Страниц: 12
Формат: PDF
Качество: хорошее
Размер файла: 21.48 МБ
Язык: русский

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

Название: Автозапчасти и Цены
Номер: №8
Год / месяц: август 2014
Страниц: 102
Формат: pdf
Качество: хорошее
Размер файла: 28.99 MB
Язык: русский

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

Название: Святой против Льва. Иоанн Кронштадтский и Лев Толстой. История одной вражды
Автор: Павел Басинский
Жанр: Проза, биографии
Издательство: Нигде не купишь
Год выпуска: 2014
Читает: Герасимов Вячеслав
Язык: Русский
Время звучания: 19:09:48
Формат | Качество: MP3, 96 Kbit/s, 44000 Гц
Размер: 749.73 Mb

На рубеже XIX–XX веков в России было два места массового паломничества – Ясная Поляна и Кронштадт. Почему же толпы людей шли именно к Льву Толстому и отцу Иоанну Кронштадтскому?...

Название: Радиолоцман
Издательство: А.Николаев
Год выхода: 2014
Номер: 7
Страниц: 64
Формат: PDF
Качество: Оригинал
Язык: Русский
Размер: 7 Мб

Журнал «Радиолоцман» будет интересен всем, кто интересуется электроникой. Разнообразная тематика статей охватывает области, интересные как для широкой аудитории, так и для профессионалов и любителей в области электроники.

Автор: Коллектив.
Название: Марсианская одиссея
Издательство: М.: Ариадна
Язык: русский
Год: 1991
Формат: pdf, fb2 (в архиве rar)
Размер: 7,84 Мб
Страниц: 128

Описание: В сборник включены научно-фантастические повести и рассказы наиболее популярных современных писателей США. Почти все они переводятся на русский язык впервые.

Название: Наша кухня
Издательство: Толока
Год выхода: 2014
Номер: 8
Страниц: 32
Формат: PDF
Качество: Хорошее
Язык: Русский
Размер: 34 Мб

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

Название: Conde Nast Traveller
Излательство: Conde Nast
Год выхода: 2014
Номер: 8
Страниц: 160
Формат: PDF
Качество: Высокое
Язык: Русский
Размер: 161 Мб

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

Название: Песни черного дрозда
Автор: Вячеслав Пальман
Жанр: Роман
Издательство: Нигде Не Купишь
Год выпуска: 2014
Читает: Бородин Леонид
Язык: Русский
Время звучания: 30:16:07
Формат | Качество: MP3, 96 Kbit/s, 44000 Гц
Размер: 1.18 Gb

Роман включает в себя три повести («Восточный кордон», «Там, за рекой», «Песни черного дрозда»), продолжающие одна другую и рассказывающие о борьбе с браконьерами в горных лесах, о природе и животных Кавказского заповедника.