Matches in Library of Congress for { <http://lccn.loc.gov/2001018687> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2001018687 contributor B8919153.
- 2001018687 created "c2001.".
- 2001018687 date "2001".
- 2001018687 date "c2001.".
- 2001018687 dateCopyrighted "c2001.".
- 2001018687 description "Includes bibiographical references (p. [335]-418) and index.".
- 2001018687 description "Machine generated contents note: 1 -- Knowing Computers 1 -- 2 -- Boardwalks across the Tar Pit 23 -- 3 -- Artificial Mathematicians? 63 -- 4 -- Eden Defiled 101 -- S -- Covert Channels 151 -- 6 -- Social Processes and Category Mistakes 197 -- 7 -- Clocks and Chips 219 -- 8 -- Logics, Machines, and Trust 257 -- 9 -- Machines, Proofs, and Cultures 299 -- Notes 335 -- Index 419.".
- 2001018687 extent "xi, 427 p. :".
- 2001018687 identifier "0262133938 (HC : alk. paper)".
- 2001018687 identifier 2001018687.html.
- 2001018687 isPartOf "Inside technology".
- 2001018687 issued "2001".
- 2001018687 issued "c2001.".
- 2001018687 language "eng".
- 2001018687 publisher "Cambridge, Mass. : MIT Press,".
- 2001018687 subject "004/.2/1 21".
- 2001018687 subject "Computer systems Reliability.".
- 2001018687 subject "Computers and civilization.".
- 2001018687 subject "QA76.76.R44 M36 2001".
- 2001018687 tableOfContents "Machine generated contents note: 1 -- Knowing Computers 1 -- 2 -- Boardwalks across the Tar Pit 23 -- 3 -- Artificial Mathematicians? 63 -- 4 -- Eden Defiled 101 -- S -- Covert Channels 151 -- 6 -- Social Processes and Category Mistakes 197 -- 7 -- Clocks and Chips 219 -- 8 -- Logics, Machines, and Trust 257 -- 9 -- Machines, Proofs, and Cultures 299 -- Notes 335 -- Index 419.".
- 2001018687 title "Mechanizing proof : computing, risk, and trust / Donald MacKenzie.".
- 2001018687 type "text".