Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
23829 open access dissertations and theses found for:
if(Formal proofs)  »   Refine Search
1.
Formal proofs and refutations
by Alama, Jesse, Ph.D.  Stanford University. 2009: 254 pages; 3364492.
2.
A self-verifying theorem prover
by Davis, Jared Curran, Ph.D.  The University of Texas at Austin. 2009: 554 pages; 3407549.
3.
Students' understanding of real analysis
by Pinto, Marcia Maria Fusaro, Ph.D.  University of Warwick (United Kingdom). 1998: 354 pages; 3491803.
4.
Students' development in proof: A longitudinal study
by Haverhals, Nicolas John, Ph.D.  University of Montana. 2011: 574 pages; 3457406.
5.
A guided reinvention of ring, integral domain, and field
by Cook, John Paul, Ph.D.  The University of Oklahoma. 2012: 281 pages; 3517320.
6.
Fully countering trusting trust through Diverse Double-Compiling
by Wheeler, David A., Ph.D.  George Mason University. 2010: 199 pages; 3393623.
7.
8.
The Nature of Mathematics: A Heuristic Inquiry
by Pair, Jeffrey David, Ph.D.  Middle Tennessee State University. 2017: 263 pages; 10287185.
9.
Formal security analysis: Secrecy, authentication and attestation
by Li, Li, Ph.D.  National University of Singapore (Singapore). 2015: 152 pages; 10006040.
10.
Formal End-to-End Verification of Information-Flow Security for Complex Systems
by Costanzo, David, Ph.D.  Yale University. 2016: 165 pages; 10584941.
11.
Formal reasoning in software-defined networks
by Reitblatt, Mark, Ph.D.  Cornell University. 2017: 179 pages; 10254203.
12.
13.
Informal mathematics activities and the beliefs of elementary teacher candidates
by Roscoe, Matthew Brady, Ph.D.  University of Montana. 2011: 384 pages; 3457433.
14.
A Compositional Automation Engine for Verifying Complex System Software
by Wu, Xiongnan Newman, Ph.D.  Yale University. 2018: 211 pages; 13851930.
15.
Efficient Cryptographic Primitives for Non-Interactive Zero-Knowledge Proofs and Applications
by Haralambiev, Kristiyan, Ph.D.  New York University. 2011: 157 pages; 3466893.
16.
18.
An explication of the Hilbert basis theorem and its relation to school mathematics
by Tse, Jasmine, M.S.  California State University, Long Beach. 2009: 66 pages; 1466156.
20.
Disjoint NP-Pairs and Propositional Proof Systems
by Wisiol, Nils, M.S.  State University of New York at Buffalo. 2014: 28 pages; 1567056.
22.
Enhancing privacy in cryptographic protocols
by Shin, Ji Sun, Ph.D.  University of Maryland, College Park. 2009: 146 pages; 3359424.
23.
CMO: Chief Marketing Officer or chief “marginalized” officer
by Carver, James Richmond, Ph.D.  The University of Arizona. 2009: 136 pages; 3355006.
24.
25.
Patent Quality And Company Performance: A Sample within the USA Biotechnology and Pharmaceutical Industry
by Vazquez Toro, Guillermo J., Ph.D.  Inter-American University of Puerto Rico (Puerto Rico). 2013: 200 pages; 3577982.
26.
The rhetoric of probability mathematics
by Palmer, Terri, Ph.D.  Carnegie Mellon University. 2005: 193 pages; 3310328.
27.
Design and Implementation of Privacy-Preserving Surveillance
by Segal, Aaron, Ph.D.  Yale University. 2016: 162 pages; 10584958.
29.
Reasoning about taxonomies
by Thau, David Michael, Ph.D.  University of California, Davis. 2010: 204 pages; 3422778.
30.
A formal semantics of C with applications
by Ellison, Charles McEwen, III, Ph.D.  University of Illinois at Urbana-Champaign. 2012: 428 pages; 3600342.
1 - 30 of 23829 displayed.
  1    2    3    4    5    6    7    8    9    10    11   Next >
Copyright © 2019 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest