Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
32811 open access dissertations and theses found for:
if(Proof technology)  »   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.
How Distributed Ledger Technology is Transforming the Financial Marketplace
by Bougas, Michelle, M.S.  Utica College. 2016: 72 pages; 10245691.
4.
Students' development in proof: A longitudinal study
by Haverhals, Nicolas John, Ph.D.  University of Montana. 2011: 574 pages; 3457406.
5.
Essays on the economics of innovation and technology
by Metcalf, Christopher J., Ph.D.  The Johns Hopkins University. 2008: 137 pages; 3288605.
6.
A theory of product technology, with implications for regional growth
by McFadden, Brian David, Ph.D.  New York University. 1995: 129 pages; 9528518.
8.
Essays on Economics of Technology-Enabled Intermediaries
by Saha, Rajib Lochan, Ph.D.  University of Rochester. 2012: 149 pages; 3508565.
9.
Holomorphic Motions and Extremal Annuli
by Wang, Zhe, Ph.D.  City University of New York. 2011: 154 pages; 3481839.
10.
Development of thin film encapsulation process for piezoresistive MEMS gyroscope with wide gaps
by Ayanoor-Vitikkate, Vipin, Ph.D.  Stanford University. 2008: 107 pages; 3332985.
12.
Essays in the theory of categorical representation
by Chatterjee, Debipriya, Ph.D.  Brown University. 2010: 147 pages; 3430130.
13.
Essays on Firm Organization and International Trade
by Chen, Cheng, Ph.D.  Princeton University. 2014: 206 pages; 3642068.
14.
Fully countering trusting trust through Diverse Double-Compiling
by Wheeler, David A., Ph.D.  George Mason University. 2010: 199 pages; 3393623.
15.
Using Spammers' Computing Resources for Volunteer Computing
by Bui, Thai Le Quy, M.S.  Portland State University. 2014: 90 pages; 1553892.
17.
Informed Technology Adoption Decisions Based on Innovation-Related Factors
by Hsieh, David A., D.Engr.  The George Washington University. 2019: 145 pages; 13423286.
19.
On efficient computation of Grobner bases
by Gash, Justin M., Ph.D.  Indiana University. 2008: 206 pages; 3330795.
20.
Professional certification: Does the security industry need a new yardstick?
by Mathews, Timothy J., D.Sc.  New Jersey City University. 2015: 282 pages; 3730746.
23.
A framework for secure mixnet-based electronic voting
by Popoveniuc, Stefan, Ph.D.  The George Washington University. 2009: 211 pages; 3344934.
24.
Topics in intellectual property
by Malaspina, Peter Adam, Ph.D.  The University of North Carolina at Chapel Hill. 2011: 80 pages; 3465043.
25.
Design and Implementation of Privacy-Preserving Surveillance
by Segal, Aaron, Ph.D.  Yale University. 2016: 162 pages; 10584958.
26.
Design and Implementation of Energy Harvesting for Digital Badges and Signage
by Chang, Andrew Yok-Wah, Ph.D.  University of California, Davis. 2018: 278 pages; 10681867.
29.
General Growth Process: Concept to Living Enterprise
by Passley, Shaun Adam, Ph.D.  Benedictine University. 2014: 287 pages; 3584796.
30.
Low-cost vehicle remote diagnostic system
by Tran, Lai Nick, M.S.  California State University, Long Beach. 2013: 55 pages; 1523063.
1 - 30 of 32811 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