Ergebnisse (3)

Sortierung:

Alle Alles auswählen

Seite 1

Teilzugriff

Auswählen

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

Reihe: Informatik/ Kommunikation

Band 862 2018

Treffer in den folgenden Teilen:

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

doi.org/10.51202/9783186862105

Teilzugriff

Auswählen

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

Reihe: Informatik/ Kommunikation

Band 857 2017

Treffer in den folgenden Teilen:

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

Kein Zugriff

Auswählen

VDI (Hrsg.)

Reihe: Blaue Papiere

Band 17/2023 2023

doi.org/10.51202/9783949971648

1