Название : Исследования по теории доказательств Автор: Крайзель Г. Издательство: Мир Язык: русский Год: 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 Роман включает в себя три повести («Восточный кордон», «Там, за рекой», «Песни черного дрозда»), продолжающие одна другую и рассказывающие о борьбе с браконьерами в горных лесах, о природе и животных Кавказского заповедника.
Бесплатная электронная библиотека. Скачать книги бесплатно!
Наша электронная библиотека Bookskeeper (для РФ работает через VPN) - это интернет-витрина, где любой посетитель может публиковать электронные варианты книг, журналов, газет, комиксов, в общем, любой литературы со ссылками для медленного, но бесплатного скачивания с файлообменников.
В нашем книжном хранилище Вы всегда найдете литературу на любой вкус человека любого возраста - от детских комиксов и расскрасок до серьезной научной литературы.
|