Proofs

Proofs

Detalles Bibliográficos
Formato:	Electrónico Revista
Idioma:	English
Publicado:	Clarion Events, Inc
Acceso en liña:	Full text available on EBSCOhost[Jun 2003-Oct 2013 Off-campus access

Títulos similares

Proof
por: Williams

Tests and Proofs
Publicado: (2013)

Robot-Proof
por: Aoun

Proof of Guilt
por: Cairns

People, Problems, and Proofs
por: Lipton
Publicado: (2013)

Certified Programs and Proofs
Publicado: (2013)

International Journal of Evidence & Proof

Proofs of the Cantor-Bernstein Theorem
por: Hinkis
Publicado: (2013)

A Logical Introduction to Proof
por: Cunningham
Publicado: (2013)

Advances in Proof-Theoretic Semantics
Publicado: (2016)

Proof and Proving in Mathematics Education
Publicado: (2012)

An Alternative Proof of Minimum Trace Reconciliation /
por: Ando, Sakai
Publicado: (2022)

Inflation-Proof Tax System? : Some Lessons From Israel.
Publicado: (1990)

Proceedings of the 2015 Conference on Certified Programs and Proofs

Efficient blockchain system based on proof of segmented work
por: Ahmed, Rashad, et al.
Publicado: (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
por: Hossain, Mohammad Badrul, et al.
Publicado: (2019)

Modernization of land registry by adapting blockchain with Proof-of-Work (PoW)
por: Mostofa, Sabrina Israt, et al.
Publicado: (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
por: Zakaria, Shahnaz A
Publicado: (2011)

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

A hyperledger fabric based tamper proof decentralized land registry system for Bangladesh
por: Huq, Md. Zariful, et al.
Publicado: (2023)

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

VO.12 – Approval of unit rates of non-schedule Item water proofing works at foundation
por: Brac University
Publicado: (2023)

VO.14 Adjust unit price for R.C.C works in foundation with water proofing admixture
por: Brac University
Publicado: (2023)

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

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

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

Submission of VO #12 - Valuation for dam proofing works in Raft, Pile cap, H-steel and King post (Rev. v3)
por: BUCG-ABC Joint Venture
Publicado: (2023)

Adjustment unit price for dam proofing works in Raft, Pile Cap, H-steel and King Post of BRAC University new campus project
por: BUCG-ABC Joint Venture (BUCG-ABC JV)
Publicado: (2023)

When ads work : new proof that advertising triggers sales /
por: Jones, John Philip
Publicado: (1995)

State-Owned Banks, Stability, Privatization, and Growth : Practical Policy Decisions in a World Without Empirical Proof /
por: Andrews, Michael
Publicado: (2005)