Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 23 related to Mechanizing Proof: Computing, Risk, and Trust.   

Elves And Heroes

Donald A. MacKenzie - Fiction - 2004 - 60 pages
No preview available - About this book

Inventing Accuracy: A Historical Sociology of Nuclear Missile Guidance

Donald A. MacKenzie - History - 1993 - 464 pages
Donald MacKenzie follows one line of technology - strategic ballistic missileguidance through a succession of weapons systems to reveal the workings of a world that is ...
Limited preview - About this book

Knowing Machines: Essays on Technical Change

Donald A. MacKenzie - Technology & Engineering - 1998 - 338 pages
Ranging from broad inquiries into the roles of economics and sociology in the explanation of technological change to an argument for the possibility of "uninventing" nuclear ...
Limited preview - About this book

  1. My library
  2. Help
  3. Advanced Book Search