People, Problems, and Proofs

People, Problems, and Proofs

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Lipton
Formáid:	Leictreonach Ríomhleabhar
Teanga:	English
Foilsithe / Cruthaithe:	Springer Berlin Heidelberg, 2013
Eagrán:	1
Ábhair:	Electronic books
Rochtain ar líne:	Full text available on Springer Off-campus access

Míreanna comhchosúla

Proof
de réir: Williams

Tests and Proofs
Foilsithe / Cruthaithe: (2013)

Robot-Proof
de réir: Aoun

Proof of Guilt
de réir: Cairns

Certified Programs and Proofs
Foilsithe / Cruthaithe: (2013)

Proofs of the Cantor-Bernstein Theorem
de réir: Hinkis
Foilsithe / Cruthaithe: (2013)

A Logical Introduction to Proof
de réir: Cunningham
Foilsithe / Cruthaithe: (2013)

International Journal of Evidence & Proof

Advances in Proof-Theoretic Semantics
Foilsithe / Cruthaithe: (2016)

Proof and Proving in Mathematics Education
Foilsithe / Cruthaithe: (2012)

An Alternative Proof of Minimum Trace Reconciliation /
de réir: Ando, Sakai
Foilsithe / Cruthaithe: (2022)

Inflation-Proof Tax System? : Some Lessons From Israel.
Foilsithe / Cruthaithe: (1990)

Proceedings of the 2015 Conference on Certified Programs and Proofs

Efficient blockchain system based on proof of segmented work
de réir: Ahmed, Rashad, et al.
Foilsithe / Cruthaithe: (2020)

Why poor people stay poor : a study of urban bias in world development /
de réir: Lipton, Michael, 1937-
Foilsithe / Cruthaithe: (1976)

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
de réir: Hossain, Mohammad Badrul, et al.
Foilsithe / Cruthaithe: (2019)

Modernization of land registry by adapting blockchain with Proof-of-Work (PoW)
de réir: Mostofa, Sabrina Israt, et al.
Foilsithe / Cruthaithe: (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
de réir: Zakaria, Shahnaz A
Foilsithe / Cruthaithe: (2011)

Blockchain based land registry with Delegated Proof of Stake (DPoS) consensus in Bangladesh
de réir: Shahriyer, Mohammad Muhtasim, et al.
Foilsithe / Cruthaithe: (2020)

Streets of the people, by the people, for the people
de réir: The Daily Star
Foilsithe / Cruthaithe: (2019)

A hyperledger fabric based tamper proof decentralized land registry system for Bangladesh
de réir: Huq, Md. Zariful, et al.
Foilsithe / Cruthaithe: (2023)

Adjustment unit price for R.C.C works in foundation with water proofing admixture
de réir: BUCG-ABC Joint Venture (BUCG-ABC JV)
Foilsithe / Cruthaithe: (2023)

Problem-solving through problems /
de réir: Larson, Loren C., 1937-
Foilsithe / Cruthaithe: (1983)

The Common Sense Guide to Dementia For Clinicians and Caregivers
de réir: Lipton
Foilsithe / Cruthaithe: (2013)

VO.12 – Approval of unit rates of non-schedule Item water proofing works at foundation
de réir: Brac University
Foilsithe / Cruthaithe: (2023)

VO.14 Adjust unit price for R.C.C works in foundation with water proofing admixture
de réir: Brac University
Foilsithe / Cruthaithe: (2023)

Reachability Problems
Foilsithe / Cruthaithe: (2013)