Certified Programs and Proofs

Certified Programs and Proofs

Bibliografische gegevens
Andere auteurs:	Gonthier
Formaat:	Elektronisch E-boek
Taal:	English
Gepubliceerd in:	Springer International Publishing, 2013
Editie:	1
Onderwerpen:	Electronic books
Online toegang:	Full text available on Springer Off-campus access

Gelijkaardige items

Proceedings of the 2015 Conference on Certified Programs and Proofs

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

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

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

Proof
door: Williams

Tests and Proofs
Gepubliceerd in: (2013)

Robot-Proof
door: Aoun

Proof of Guilt
door: Cairns

People, Problems, and Proofs
door: Lipton
Gepubliceerd in: (2013)

PMI : Agile Certified Practitioner : Agile Certified Practitioner
door: Chandramouli, Subramanian;Dutt, Saikat

Certified Ethical Hacker
door: Gregg

Proofs of the Cantor-Bernstein Theorem
door: Hinkis
Gepubliceerd in: (2013)

A Logical Introduction to Proof
door: Cunningham
Gepubliceerd in: (2013)

International Journal of Evidence & Proof

Advances in Proof-Theoretic Semantics
Gepubliceerd in: (2016)

Proof and Proving in Mathematics Education
Gepubliceerd in: (2012)

An Alternative Proof of Minimum Trace Reconciliation /
door: Ando, Sakai
Gepubliceerd in: (2022)

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

VCP Exam Cram: VMware Certified Professional
door: Khnaser

Novell Certified Linux Professional Study Guide
door: Dulaney

Journal of the American College of Certified Wound Specialists, The

Journal of the American College of Certified Wound Specialists, The

Efficient blockchain system based on proof of segmented work
door: Ahmed, Rashad, et al.
Gepubliceerd in: (2020)

CISA Exam Prep Certified Information Systems Auditor
door: Gregg

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

Sun Certified Enterprise Architect for Java EE Study Guide
door: Cade; Sheil

Request of certifying compensation submitted due to defect D-wall
door: BUCG-ABC Joint Venture
Gepubliceerd in: (2023)

Sun Certified Enterprise Architect for Java EE study guide /
door: Cade, Mark
Gepubliceerd in: (2011)

coinBD: an enhanced version of proof of work with less computational power
door: Hossain, Mohammad Badrul, et al.
Gepubliceerd in: (2019)

Modernization of land registry by adapting blockchain with Proof-of-Work (PoW)
door: Mostofa, Sabrina Israt, et al.
Gepubliceerd in: (2020)

All-in-one CISA certified information systems auditor exam guide /
door: Gregory, Peter H.
Gepubliceerd in: (2012)

Flood proofing project at char and haor: impact on household food security and consumption
door: Zakaria, Shahnaz A
Gepubliceerd in: (2011)

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