Donald E. Knuth so loved the Bible that he dedicated five years of his life to creating this masterpiece. With it, you will learn about each 3:16 verse of the Bible, how it came to be written, and how it contributes to the wholeness of the Bible.

    The study of type systems--and of programming languages from a type-theoretic perspective--has important applications in software engineering, language design, high-performance compilers, and security.This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.

    Its humorous title begins with the punch line of a classic joke about someone who is baffled by technology. It was written by a 40-year computer veteran who wants to take the mystery out of computers and allow everyone to gain a true understanding of exactly what computers are, and also what they are not. Years of writing, diagramming, piloting and editing have culminated in one easy to read volume that contains all of the basic principles of computers written so that everyone can understand them. There used to be only two types of book that delved into the insides of computers. The simple ones point out the major parts and describe their functions in broad general terms. Computer Science textbooks eventually tell the whole story, but along the way, they include every detail that an engineer could conceivably ever need to know. Like Momma Bear's porridge, But How Do It Know? is just right, but it is much more than just a happy medium. For the first time, this book thoroughly demonstrates each of the basic principles that have been used in every computer ever built, while at the same time showing the integral role that codes play in everything that computers are able to do. It cuts through all of the electronics and mathematics, and gets right to practical matters. Here is a simple part, see what it does. Connect a few of these together and you get a new part that does another simple thing. After just a few iterations of connecting up simple parts - voilà! - it's a computer. And it is much simpler than anyone ever imagined. But How Do It Know? really explains how computers work. They are far simpler than anyone has ever permitted you to believe. It contains everything you need to know, and nothing you don't need to know. No technical background of any kind is required. The basic principles of computers have not changed one iota since they were invented in the mid 20th century. "Since the day I learned how computers work, it always felt like I knew a giant secret, but couldn't tell anyone," says the author. Now he's taken the time to explain it in such a manner that anyone can have that same moment of enlightenment and thereafter see computers in an entirely new light.

    The goal of this book is to bring together quantum mechanics, the quantum theory of solids, semiconductor material physics, and semiconductor device physics in a clear and understandable way.

    This fascinating book traces what was a massive accomplishment right from the early launches through manned orbital spaceflights, detailing each step. Out of the battlefields of World War II came the gifted German engineers and designers who developed the V-2 rocket, which evolved into the powerful Saturn V booster that propelled men to the Moon. David Woods tells this exciting story, starting from America 's postwar astronautical research facilities. The techniques and procedures developed have been recognised as an example of human exploration at its greatest, demonstrating a peak of technological excellence.

    The rapid urbanization of a new 2.5-billion-person middle class in Asia will create an unprecedented demand for oil, steel, land, food, water, cement, and other commodities over the next two decades. Heck and Rogers explore the ways in which innovators, including startups and global leaders from Cree to GE, have answered the challenge with practical steps to guide managers everywhere.

    While Sputnik immediately shocked the world, its long-term impact was even greater, for it profoundly changed the shape of the twentieth Century.Washington journalist Paul Dickson chronicles the dramatic events and developments leading up to and emanating from the Sputnik's launch a story that can only now be fully told with the recent release of previously classified documents. Sputnik offers a fascinating profile of the early American and Soviet space programs and a strikingly revised picture of the politics and personalities behind the facade of American's fledgling efforts to get into space.Although Sputnik was unmanned, its story is intensely human. Sputnik owed its success to many people, from the earlier visionary Konstantin Tsiolkovsky, whose rocket theories were ahead of their time, to the Soviet spokesmen strategically positioned around the world on the day the satellite was launched, who created one of the greatest public-relations events of all time. It’s chief designer, however the brillant Sergei Korolev remained a Soviet state secret until after his death.Equally hidden from view was the political intrigue dominating America's early space program, as the military services jockeyed for control and identity in a peacetime world. For years, former Nazi Wernher von Braun, who ran the U.S. Army's missile program, lobbied for his rocket team to be handed responsibility for the first Earth-orbiting satellite. He was outraged that Sputnik beat him and America into space. President Eisenhower, though, was secretly pleased that the Russians had launched first, because by orbiting over the United States, Sputnik established the principle of “freedom of space” that could justify the spy satellites he thought essential to monitor Soviet missile buildup. As Dickson reveals, Eisenhower was, in fact, much more a master of the Sputnik crisis than he appeared to be at the time and in subsequent accounts.

    As huge as the Pantheon of Rome and as heavy as the Statue of Liberty, this magnificent instrument is so precisely built that its seventeen-foot mirror was hand-polished to a tolerance of 2/1,000,000 of an inch. The telescope's construction drove some to the brink of madness, made others fearful that mortals might glimpse heaven, and transfixed an entire nation. Ronald Florence weaves into his account of the creation of "the perfect machine" a stirring chronicle of the birth of Big Science and a poignant rendering of an America mired in the depression yet reaching for the stars.

    This friendly-and-straightforward guide introduces the basics of electronics and enhances your learning experience by debunking and explaining concepts such as circuits, analog and digital, schematics, voltage, safety concerns, and more. Packed with nearly 900 pages of detailed information, this book shows you how to develop your own breadboard, design your own circuit, and get savvy with schematics. Covers the basics of electronics and demystifies a variety of electronics conceptsEncourages you to dive in and design a variety of fun and interesting entertainment electronics, mobile, and automotive projectsOffers troubleshooting advice for common electronics challengesReviews circuits, schematics, voltage, safety concerns, and much moreSo, get plugged in and start your next electronics project today with this book by your side!

    Here the German-born scientist Wernher von Braun detailed what he believed were the problems and possibilities inherent in a projected expedition to Mars.    Today von Braun is recognized as the person most responsible for laying the groundwork for public acceptance of America's space program. When President Bush directed NASA in 1989 to prepare plans for an orbiting space station, lunar research bases, and human exploration of Mars, he was largely echoing what von Braun proposed in The Mars Project.

    Now, using never-before-published quotes taken from his in-depth interviews with twenty-three of the twenty-four Apollo lunar astronauts, Chaikin and his collaborator, Victoria Kohl, have created an extraordinary account of the lunar missions. In Voices from the Moon the astronauts vividly recount their experiences in intimate detail; their distinct personalities and remarkably varied perspectives emerge from their candid and deeply personal reflections. Carefully assembled into a narrative that reflects the entire arc of the lunar journey, Voices from the Moon captures the magnificence of the Apollo program like no other book. Paired with their own words are 160 images taken from NASA's new high-resolution scans of the photos the astronauts took during the missions. Many of the photos, which are reproduced with stunning and unprecedented detail, have rarely-if ever-been seen by the general public. Voices from the Moon is an utterly unique chronicle of these defining moments in human history.

    Enhancements to this edition include a more thorough coverage of transport processes, plus new or expanded coverage of separation process applications, fluidized beds, non-Newtonian fluids, membrane separation processes and gas-membrane theory, and much more. The book contains 240+ example problems and 550+ homework problems.

    

    Squyres dreamed up the mission in 1987, saw it through from conception in 1995 to a successful landing in 2004, and serves as the principal scientist of its $400 million payload. He has gained a rare inside look at what it took for rovers Spirit and Opportunity to land on the red planet in January 2004--and knows firsthand their findings.

    It provides up to date information on structural properties, the processing of materials and their applications.