Results (3)

Sort by:

Select all Select all

Page 1

Partial access

Select

Maria M. Kubek (ed.), Zhong Li (ed.)

Series: Informatik/ Kommunikation

Volume 862 2018

Results in this title

„… Society Press, 23, 7, pp. 39–51, 1990 [22] MacKenzie, D.: Mechanizing Proof: Computing, Risk, and Trust …”

doi.org/10.51202/9783186862105

Partial access

Select

Herwig Unger (ed.), Wolfgang A. Halang (ed.)

Series: Informatik/ Kommunikation

Volume 857 2017

Results in this title

Marcel Schaible A Crowd-verifiable Microprocessor S. 188-200

„… Society Press, 23, 7, pp. 39–51, 1990 [22] MacKenzie, D.: Mechanizing Proof: Computing, Risk, and Trust …”

doi.org/10.51202/9783186857101

No access

Select

VDI (ed.)

Series: Blaue Papiere

Volume 17/2023 2023

doi.org/10.51202/9783949971648

1