Search Images Maps Play YouTube News Gmail Drive More »
Sign in
  1. My library
  2. Help
  3. Advanced Book Search


this user's libraryResults 81-90 of 338

  • Custom Ordering
  • Default Ordering

NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA ...

Alwyn Goodloe, Suzette Person - 2012 - Computers - Limited preview
This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. The 36 revised regular papers presented together with 10 short papers, 3 invited talks ...
0 Reviews - Write review

Hubble's Universe: Greatest Discoveries and Latest Images

Terence Dickinson - 2012 - Science - No preview available
Presents an overview of the Hubble Space Telescope, describing its initial launch in 1990 and impact on our understanding of the universe, along with some of its latest images of galaxies, stars, planets, and nebulas.
1 Review - Write review

Knocking on Heaven's Door: How Physics and Scientific Thinking Illuminate ...

Lisa Randall - 2012 - Science - No preview available
“Science has a battle for hearts and minds on its hands….How good it feels to have Lisa Randall’s unusual blend of top flight science, clarity, and charm on our side.” —Richard Dawkins “Dazzling ideas….Read this book today to understand the ...
7 Reviews - Write review

Astronomy For Dummies

Stephen P. Maran - 2012 - Science - No preview available
Presents a beginner's guide to astronomy, featuring information about the solar system as well as star maps and a monthly guide to locating the planets in the sky.
2 Reviews - Write review

Edge of the Universe: A Voyage to the Cosmic Horizon and Beyond

Paul Halpern - 2012 - Science - No preview available
Explaining what we know about the Big Bang, the accelerating universe, dark energy, dark flow and dark matter, a physicist and popular science writer examines some of the theories about the content of the universe and our extraordinary cosmos.
1 Review - Write review

Cosmic Masers - from OH to H0 (IAU S287)

Roy S. Booth, Wouter H. T. Vlemmings, Elizabeth M. L. Humphreys - 2012 - Science - No preview available
Cosmic masers, naturally occurring amplifiers of microwave emission from atoms and molecules in the Milky Way and other galaxies, provide important tools to investigate astrophysical environments. The first, Hydroxyl (OH) masers were discovered ...
0 Reviews - Write review

Aerospace Engineering on the Back of an Envelope

Irwin E. Alber - 2012 - Technology & Engineering - Limited preview
Engineers need to acquire “Back-of-the-Envelope” survival skills to obtain rough quantitative answers to real-world problems, particularly when working on projects with enormous complexity and very limited resources. In the case studies treated ...
0 Reviews - Write review

Pyomo – Optimization Modeling in Python

William E. Hart, Carl Laird, Jean-Paul Watson, David L. Woodruff - 2012 - Mathematics - Limited preview
This book provides a complete and comprehensive reference/guide to Pyomo (Python Optimization Modeling Objects) for both beginning and advanced modelers, including students at the undergraduate and graduate levels, academic researchers, and ...
0 Reviews - Write review