Japan's Space Program

Language of the Earth

Frank Harold Trevor Rhodes, Richard O. Stone, Bruce D. Malamud

The English Patient

Ghosts of Everest

Jochen Hemmleb, Larry A. Johnson, Eric R. Simonson, William E. Nothdurft

Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications

Armin Biere