( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Mechanizing Proof: Computing, Risk, and Trust

. The MIT Press, (октября 2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Graham MacKenzie

Natalia Mackenzie

Peter MacKenzie

Colin MacKenzie

Colin MacKenzie

 

Другие публикации лиц с тем же именем

A View from the Sonnenbichl: On the Historical Sociology of Software and System Dependability.. ICHC, стр. 97-122. Springer, (2000)Why "the social aspects of science and technology" is not just an optional extra.. SIGCAS Comput. Soc., 15 (4): 2-6 (1986)The social limits of speed: development and use of supercomputers., и . IEEE Ann. Hist. Comput., 16 (1): 46-61 (1994)An engine, not a camera: how financial models shape markets. Inside Technology MIT Press, Cambridge, Mass., (апреля 2006)Mechanizing Proof: Computing, Risk, and Trust. The MIT Press, (октября 2001)Computer-related accidental death: an empirical exploration. Science and Public Policy, 21 (4): 233--248 (августа 1994)The Big, Bad Wolf and the Rational Market: Portfolio Insurance, the 1987 Crash and the Performativity of Economics. Economy and Society, 33 (3): 303--334 (2004)doi: 10.1080/0308514042000225680.Experiences in applying formal methods to the analysis of software and system requirements., , , , , , , , , и 1 other автор(ы). WIFT, стр. 30-43. IEEE Computer Society, (1995)Inventing accuracy: a historical sociology of nuclear missile Guidance. Inside Technology MIT Press, Cambridge, Mass., Reprint издание, (1993)The Social shaping of technology how the refrigerator got its hum, и . Open University Press, Milton Keynes, (1985)