Formal methods for open object-based distributed systems

In the spirit of Steve Jobs and Moneyball, Elon Musk is both an illuminating and authorized look at the extraordinary life of one of Silicon Valley’s most exciting, unpredictable, and ambitious entrepreneurs—a real-life Tony Stark—and a fascinating exploration of the renewal of American invention and its new “makers.” Elon Musk spotlights the technology and vision of Elon Musk, the renowned entrepreneur and innovator behind SpaceX, Tesla, and SolarCity, who sold one of his Internet companies, PayPal, for $1.5 billion. Ashlee Vance captures the full spectacle and arc of the genius’s life and…

The Little Classics collection allows your child to discover the wonderful characters of beloved classic fairy tales. They will experience the magic of unforgettable adventures in these exciting stories. These imaginative books will encourage a lifetime love of reading. Features: Sturdy soft cover Colorful images Contemporary adaptations of beloved classics Portable 24 pages of fun! Collect them all!

Discover the fascinating world of inventions and technology. From the first tools to the latest gadgets, Pocket Genius: Inventions showcases key inventors and inventions that changed the world from air, space, water, and land transportation to everyday objects in the home, medical tools and aids, plus telescopes, roller coasters, satellites, and robots, and a look at future technologies. Redesigned in paperback, DK's best-selling Pocket Genius series is now available in an engaging compact and economical format that is ideal for both browsing and quick reference for use in school and at hom…

A celebration of trucks and trucking, from the first motorized wagons to the advent of driverless freight vehicles. Charting decade after decade of innovation and change, The Truck Book is a beautifully illustrated history of trucks and trucking culture, and the romance of the open road. Trucks, lorries, and vans share their origins in the steam wagons of the late 1800s and the invention of the modern combustion engine in the 1870s. As steam power gave way to petrol and diesel engines, trucks evolved and diversified according to their desired purpose - becoming everything from panel vans an…

Take an action-packed flight through the history of aircraft and discover the intrepid pioneers who made a dream reality Uncover the engineering behind more than 800 aircraft models, from military jets to commercial planes. This visual history book captures the fascinating story of airplanes and aviation, and how their groundbreaking discovery has influenced the 21st Century. Inside the pages of this aircraft book, you’ll discover: • The history of military and commercial aircraft from all over the world, decade by decade, to the present day in stunning visual detail • Comprehensive catalog…