Litgu.ru - Литературный Гуру

Название: Математическая логика и теория алгоритмов для программистов
Автор: Гринченков Д.В., Потоцкий С.И.
Издательство: М.: КноРус
Год: 2010
Страниц: 206
ISBN: 978-5-406-00120-2
Формат: PDF
Размер: 21.2 Мб
Язык: русский

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

Автор: Juliusz S. Tym, Zbigniew Lalak
Название: 2 Warszawska Dywizja Pancerna
Cерия: Sladami Polskich Gasienic. Polskie oddzialy pancerne na Zachodzie 1939-1947
Tом: 22
Издательство: Edipresse-kolekcje sp. z o.o.
Год выпуска: 2015
Страниц: 100
Формат: JPG/ PDF
Размер: 38,63 Мб
Язык: польский

В каждой книге описывается один бронетанковый отряд или одно сражение польских вооруженных сил на Западе в 1939-1947 гг.

Восстановлены ссылки

Автор: П.А. Ниве
Название: Отечественная война. 1812 год. В 5-х томах. Том 5
Издательство: Издательство В.К.Ильинчика
Год: 1912
Формат: PDF
Страниц: 225
Размер: 5,2 Мb
Язык: русский

Книга военного историка, полковника Петра Андреевича Ниве «Отечественная война» является юбилейным изданием 1912 г., которое имело целью восстановить точную, во всех ее деталях историческую канву событий Отечественной войны 1812 г.
Данное издание богато иллюстрировано, в нем представлены планы и карты всех крупных сражений «Русской кампании Наполеона».

Автор: П.А. Ниве
Название: Отечественная война. 1812 год. В 5-х томах. Том 4
Издательство: Издательство В.К.Ильинчика
Год: 1912
Формат: PDF
Страниц: 234
Размер: 5,62 Мb
Язык: русский

Книга военного историка, полковника Петра Андреевича Ниве «Отечественная война» является юбилейным изданием 1912 г., которое имело целью восстановить точную, во всех ее деталях историческую канву событий Отечественной войны 1812 г. Данное издание богато иллюстрировано, в нем представлены планы и карты всех крупных сражений «Русской кампании Наполеона».

Название: Landscape Architecture Australia
Год / месяц: May 2019
Номер: Issue 162
Формат: PDF
Размер: 80.1 Mb
Язык: English

An authoritative and contemporary record of landscape architecture and the urban design of Australian cities, towns and communities, Landscape Architecture Australia presents independent reviews of public, commercial and residential work, plus commissioned comment on the issues facing landscape architecture and its practitioners today. Climate change, sustainability, conservation, restoration and land-management are modern watchwords.

Название: Ideat Germany
Год / месяц: Juni/Juli 2019
Номер: 03/2019
Формат: PDF
Размер: 78.5 Mb
Язык: Deutsch

IDEAT ist das internationale Magazin fur Interior Design und urbanen Lifestyle. IDEAT wurde 1999 in Frankreich gegrundet und hat sich dort zum Marktfuhrer des Interior-Segments im Inserentenmarkt entwickelt. Seit September erscheint das Magazin auch in Deutschland und fasziniert mit seiner unkonventionellen Art.

Название: Automotive User Interfaces: Creating Interactive Experiences in the Car
Автор: Gerrit Meixner and Christian M?ller
Издательство: Springer
Год: 2017
Формат: PDF
Размер: 13 Мб
Язык: английский / English

This book focuses on automotive user interfaces for in-vehicle usage, looking at car electronics, its software of hidden technologies (e.g., ASP, ESP), comfort functions (e.g., navigation, communication, entertainment) and driver assistance (e.g., distance checking). The increased complexity of automotive user interfaces, driven by the need for using consumer electronic devices in cars as well as autonomous driving, has sparked a plethora of new research within this field of study.

Название: So Good: 100 Recipes from My Kitchen to Yours
Автор: Richard Blais
Издательство: Houghton Mifflin Harcourt
Год: 2017
Формат: EPUB
Размер: 14 Мб
Язык: английский / English

Fans know Richard Blais best as the winner of Bravo's Top Chef All-Stars, the first competitor to be invited back as a permanent judge on Top Chef, and now as a Food Network regular as well. On television, Blais is famous for his daring cooking, making use of science (think liquid nitrogen) to dazzle and impress. But how does he cook at home when the cameras are off? That's what this book will answer, with elevated homestyle recipes and personal stories which invite you behind the scenes and into his own kitchen for the first time.

Название: Fascial Release for Structural Balance, Revised Edition
Автор: Thomas Myers and James Earls
Издательство: North Atlantic Books
Год: 2017
Формат: EPUB
Размер: 14 Мб
Язык: английский / English

This thoroughly revised edition of the authoritative reference Fascial Release for Structural Balance brings the book up to date with all of the most current research on the role of fascia and myofascia in the body, and how treatment affects it. This edition takes advantage of more sophisticated testing to explore in greater detail the relationship between anatomical structure and function, making it an even more essential guide. Offering a detailed introduction to structural anatomy and fascial release therapy, including postural analysis, complete technique descriptions, and the art of proper assessment of a patient through "bodyreading," the book features 150 color photographs that clearly demonstrate each technique.

Название: Enriching Urban Spaces with Ambient Computing, the Internet of Things, and Smart City Design
Автор: Shin'ichi Konomi and George Roussos
Издательство: IGI Global
Год: 2016
Формат: PDF
Размер: 15 Мб
Язык: английский / English

In recent years, the presence of ubiquitous computing has increasingly integrated into the lives of people in modern society. As these technologies become more pervasive, new opportunities open for making citizens environments more comfortable, convenient, and efficient. Enriching Urban Spaces with Ambient Computing, the Internet of Things, and Smart City Design is a pivotal reference source for the latest scholarly material on the interaction between people and computing systems in contemporary society, showcasing how ubiquitous computing influences and shapes urban environments.