Logic Programming

Logic Programming

Author: Peter J. Stuckey

Publisher: Springer Science & Business Media

Published: 2002-07-17

Total Pages: 499

ISBN-13: 3540439307

DOWNLOAD EBOOK

The global environment is changing rapidly under the impact of human activities. An important element in this change is related to global climate modification. Experts from the natural and social sciences with a strong interest in history discussed common topics of great interest to society. Can the study of climate and history help in devising strategies for coping with this change? What might be the type of information most useful in this context? What are the pitfalls awaiting the unwary? These and similar questions were discussed during a four-day workshop. The resulting proceedings contain comprehensive papers of broad interest, thematic back-ground papers and reports of study groups. Apart from scientists, the papers should interest graduate students and lecturers.


The Greatest Adventure

The Greatest Adventure

Author: Colin Burgess

Publisher: Reaktion Books

Published: 2021-08-12

Total Pages: 369

ISBN-13: 1789144590

DOWNLOAD EBOOK

The Greatest Adventure explores the past, present, and future of the space race. The space race was perhaps the greatest technological contest of the twentieth century. It was a thrilling era of innovation, discovery, and exploration, as astronauts and cosmonauts were launched on space missions of increasing length, complexity, and danger. The Greatest Adventure traces the events of this extraordinary period, describing the initial string of Soviet achievements: the first satellite in orbit; the first animal, man, and woman in space; the first spacewalk; as well as the ultimate US victory in the race to land on the moon. The book then takes the reader on a journey through the following decades of space exploration to the present time, detailing the many successes, tragedies, risks, and rewards of space exploration.


Human Spaceflight

Human Spaceflight

Author: Joseph A. Angelo

Publisher: Infobase Publishing

Published: 2014-05-14

Total Pages: 385

ISBN-13: 1438108915

DOWNLOAD EBOOK

Presents an introduction to human space exploration, discussing the evolution of space technology that has allowed the human race to go from merely orbiting the Earth to landing on the Moon and living for months in a space station.


The Queen and Atlantis

The Queen and Atlantis

Author: Ruth Nordin

Publisher: iUniverse

Published: 2006-04

Total Pages: 164

ISBN-13: 0595394442

DOWNLOAD EBOOK

Shortly after Amanda learned that Raz chose her to be its Queen, she visits the gods and goddesses on Olympia. While she is there, she learns that she is needed on Earth to destroy Atlantis which has risen from the bottom of the ocean floor. Centuries ago, six Olympians ordered the future rise of Atlantis and mandated that their clones take over their rule. Realizing their grave mistake, they plead with Amanda to go to Atlantis and find the human man Pallid, who can stop their clones with a simple password. Taking her sister with her, Amanda meets up with Pallid and his friend, Jake. To escape the military officials scouting out the city, Amanda's magic sends them back in time before Atlantis' fall. Atlantis is the city of perfection where beauty and youth are praised among all who live there. But with such perfection comes a heavy price, and Pallid must decide how far he is willing to go to keep Atlantis on the map.


Atlantis Redeemed

Atlantis Redeemed

Author: Alyssa Day

Publisher: Penguin

Published: 2010-03-02

Total Pages: 301

ISBN-13: 1101185899

DOWNLOAD EBOOK

The fate of Atlantis is on the line-and the future of the world is at stake... Poseidon's warriors have learned that the battle to protect humanity produces unexpected enemies-and alliances. But none more unexpected than the bond between a cursed Atlantean warrior and a woman whose sight surpasses any lie.


Meet Me in Atlantis

Meet Me in Atlantis

Author: Mark Adams

Publisher: Penguin

Published: 2015-03-10

Total Pages: 360

ISBN-13: 0698186214

DOWNLOAD EBOOK

The New York Times Bestselling Travel Memoir! The author of Turn Right at Machu Picchu travels the globe in search of the world’s most famous lost city. “Adventurous, inquisitive and mirthful, Mark Adams gamely sifts through the eons of rumor, science, and lore to find a place that, in the end, seems startlingly real indeed.”—Hampton Sides A few years ago, Mark Adams made a strange discovery: Far from alien conspiracy theories and other pop culture myths, everything we know about the legendary lost city of Atlantis comes from the work of one man, the Greek philosopher Plato. Stranger still: Adams learned there is an entire global sub-culture of amateur explorers who are still actively and obsessively searching for this sunken city, based entirely on Plato’s detailed clues. What Adams didn’t realize was that Atlantis is kind of like a virus—and he’d been exposed. In Meet Me in Atlantis, Adams racks up frequent-flier miles tracking down these Atlantis obsessives, trying to determine why they believe it's possible to find the world's most famous lost city—and whether any of their theories could prove or disprove its existence. The result is a classic quest that takes readers to fascinating locations to meet irresistible characters; and a deep, often humorous look at the human longing to rediscover a lost world.


The Space Shuttle

The Space Shuttle

Author: Piers Bizony

Publisher: Zenith Press

Published: 2015-04

Total Pages: 307

ISBN-13: 0760347816

DOWNLOAD EBOOK

Get a full retrospective of all 134 flights, every mission, of the space shuttle program. This superbly designed and lavishly illustrated reissue of the best-selling hardcover book marks a special moment in history: the final mission of the space shuttle. Noted space and science author Piers Bizony's retrospective covers the entire space shuttle program that began in 1981 and ended in 2011. Every space shuttle mission is detailed, including all flights of the Columbia, Challenger, Discovery, Atlantis, and Endeavour spacecraft. The book also covers the development and design of the orbiter, as well as the technical specifications of the vehicle and details of its major assemblies and subassemblies. A full double-gatefold provides a large-scale technical drawing of the space shuttle. If you never got to watch the countdown clock in person during a space shuttle launch, The Space Shuttle is your chance to relive the history of America's first low Earth orbital spacecraft.