Автор: Christiansen Eric H. Название: Dynamic Earth ISBN: 1449659845 ISBN-13(EAN): 9781449659844 Издательство: NBN International Рейтинг: Цена: 81650.00 T Наличие на складе: Невозможна поставка. Описание: An up-to-date and comprehensive exploration of how Earth works New technologies has given us many different ways to examine the Earth. For example, we can penetrate deep into the interior of our planet and effectively X-ray its internal structure. With this technology comes an increased awareness of how our planet is continually changing and a fresh awareness of how fragile it is. Designed for the introductory Physical Geology course found in Geology, Earth Science, Geography, or Physical Science departments, Dynamic Earth: An Introduction to Physical Geology clearly presents Earth's dynamic geologic systems with their many interdependent and interconnected components. It provides comprehensive coverage of the two major energy systems of Earth: the plate tectonic system and the hydrologic cycle. The text fulfills the needs of professors by offering current content and a striking illustration package, while exposing students to the global view of Earth and teaching them to view the world as geologists. The book is divided in four parts. Part I presents Earth (TM)s materials and how they are created by geologic systems. Part II discusses the hydrologic system by examining subsystems chapter by chapter. Plate tectonics is the theme of Part III, with separate chapters on divergent, transform, and convergent boundaries, as well as mantle plumes "the subsystems of the tectonic system. In Part IV, the book looks back and applies the principles learned to see how Earth (TM)s resources formed and just how different Earth is when compared with other planets. The special attention to the illustrations helps students fully experience the excitement and satisfaction of visualizing and understanding geology, making Dynamic Earth: An Introduction to Physical Geology a unique exploration into our ever-evolving planet.
Автор: Friedman Daniel P., Christiansen David Thrane Название: The Little Typer ISBN: 0262536439 ISBN-13(EAN): 9780262536431 Издательство: TBS/GBS Рейтинг: Цена: 62230.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
A program's type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows program descriptions to be as powerful as the programs they describe. The Little Typer explains dependent types, beginning with a very small language that looks very much like Scheme and extending it to cover both programming with dependent types and using dependent types for mathematical reasoning. Readers should be familiar with the basics of a Lisp-like programming language, as presented in the first four chapters of The Little Schemer.
The first five chapters of The Little Typer provide the needed tools to understand dependent types; the remaining chapters use these tools to build a bridge between mathematics and programming. Readers will learn that tools they know from programming--pairs, lists, functions, and recursion--can also capture patterns of reasoning. The Little Typer does not attempt to teach either practical programming skills or a fully rigorous approach to types. Instead, it demonstrates the most beautiful aspects as simply as possible, one step at a time.
Автор: Christiansen Greg Название: Raising Meat Goats in a Commercial Operation ISBN: 0615584128 ISBN-13(EAN): 9780615584126 Издательство: Неизвестно Цена: 22980.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Christiansen, Corey Название: Rock guitar chart ISBN: 0786667117 ISBN-13(EAN): 9780786667116 Издательство: Неизвестно Рейтинг: Цена: 6590.00 T Наличие на складе: Поставка под заказ.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
