Robot-Proof

Robot-Proof

Bibliographische Detailangaben
1. Verfasser:	Aoun
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	The MIT Press
Schlagworte:	Electronic books
Online Zugang:	Full text available on Project MUSE [9/10/17] Off-campus access

Ähnliche Einträge

Proof
von: Williams

Tests and Proofs
Veröffentlicht: (2013)

Proof of Guilt
von: Cairns

People, Problems, and Proofs
von: Lipton
Veröffentlicht: (2013)

Certified Programs and Proofs
Veröffentlicht: (2013)

International Journal of Evidence & Proof

Proofs of the Cantor-Bernstein Theorem
von: Hinkis
Veröffentlicht: (2013)

A Logical Introduction to Proof
von: Cunningham
Veröffentlicht: (2013)

Advances in Proof-Theoretic Semantics
Veröffentlicht: (2016)

Proof and Proving in Mathematics Education
Veröffentlicht: (2012)

An Alternative Proof of Minimum Trace Reconciliation /
von: Ando, Sakai
Veröffentlicht: (2022)

Inflation-Proof Tax System? : Some Lessons From Israel.
Veröffentlicht: (1990)

Proceedings of the 2015 Conference on Certified Programs and Proofs

Efficient blockchain system based on proof of segmented work
von: Ahmed, Rashad, et al.
Veröffentlicht: (2020)

Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants

Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs

coinBD: an enhanced version of proof of work with less computational power
von: Hossain, Mohammad Badrul, et al.
Veröffentlicht: (2019)

Modernization of land registry by adapting blockchain with Proof-of-Work (PoW)
von: Mostofa, Sabrina Israt, et al.
Veröffentlicht: (2020)

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs

Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs

Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs

Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs

Flood proofing project at char and haor: impact on household food security and consumption
von: Zakaria, Shahnaz A
Veröffentlicht: (2011)

Blockchain based land registry with Delegated Proof of Stake (DPoS) consensus in Bangladesh
von: Shahriyer, Mohammad Muhtasim, et al.
Veröffentlicht: (2020)

A hyperledger fabric based tamper proof decentralized land registry system for Bangladesh
von: Huq, Md. Zariful, et al.
Veröffentlicht: (2023)

Adjustment unit price for R.C.C works in foundation with water proofing admixture
von: BUCG-ABC Joint Venture (BUCG-ABC JV)
Veröffentlicht: (2023)

VO.12 – Approval of unit rates of non-schedule Item water proofing works at foundation
von: Brac University
Veröffentlicht: (2023)

VO.14 Adjust unit price for R.C.C works in foundation with water proofing admixture
von: Brac University
Veröffentlicht: (2023)

Robots
von: Jordan

Robot :
Veröffentlicht: (2012)

Robotics and Robot Sensing Systems

Resubmission of VO#12 valuation for dam proofing works in Raft, Pile cap, H-steel and King post
von: BUCG-ABC Joint Venture
Veröffentlicht: (2023)

Resubmission of VO#14 - Adjustment unit price for R.C.C works in foundation with water proofing admixture
von: BUCG-ABC Joint Venture
Veröffentlicht: (2023)

VO#12 - Adjustment unit price for damp proofing work in raft, pile cap, H-steel and king post
von: Brac University
Veröffentlicht: (2023)

Aerospace Robotics
Veröffentlicht: (2013)