Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
44765 open access dissertations and theses found for:
if(Formal methods)  »   Refine Search
2.
A Case Study: Meeting the Needs of English Learners With Limited or Interrupted Formal Education
by Marrero Col√≥n, Michelle Ivette, Ed.D.  Nova Southeastern University. 2019: 167 pages; 13428604.
4.
Formal End-to-End Verification of Information-Flow Security for Complex Systems
by Costanzo, David, Ph.D.  Yale University. 2016: 165 pages; 10584941.
5.
Formal security analysis: Secrecy, authentication and attestation
by Li, Li, Ph.D.  National University of Singapore (Singapore). 2015: 152 pages; 10006040.
6.
A formal approach to specifying and verifying spacecraft behavior
by McInnes, Allan I. S., Ph.D.  Utah State University. 2007: 290 pages; 3279572.
7.
Efficient, sound formal verification for analog/mixed-signal circuits
by Fisher, Andrew N., Ph.D.  The University of Utah. 2015: 190 pages; 10003590.
8.
Resilient TDMA-based Communication Algorithm for Dynamic Ad-hoc Networks and Formal Verification
by Tyagi, Neha, M.S.  California State University, Long Beach. 2018: 65 pages; 10752255.
9.
Formal analysis of web service composition
by Manman, Chen, Ph.D.  National University of Singapore (Singapore). 2015: 240 pages; 10005980.
10.
15.
English learners with limited or interrupted formal education: Risk and resilience in educational outcomes
by Browder, Christopher Todd, Ph.D.  University of Maryland, Baltimore County. 2014: 268 pages; 3637307.
16.
Experiences of trust in longer-lasting formal youth mentoring relationships
by Levine, Michelle, Ph.D.  University of Massachusetts Boston. 2016: 155 pages; 10246302.
17.
Constructing a revised version of the Face Stimulus Assessment to measure formal elements: A pilot study
by Mattson, Donald C., Ph.D.  The Florida State University. 2011: 138 pages; 3477198.
24.
Evaluating an Assessment Instrument for the Oregon Environmental Literacy Plan
by Duncan, Susan Mae, Ed.D.  Portland State University. 2016: 257 pages; 10131524.
26.
Rethinking Patterns: Associative Formal Analysis and Luciano Berio's Sequenzas
by Schullman, Matthew David Monfredo, Ph.D.  Yale University. 2016: 366 pages; 10160876.
28.
Family presence during resuscitation: Emergency department staff adoption of a formal guideline after education
by Hanson, Catherine M., M.S.N.  California State University, Long Beach. 2013: 61 pages; 1522630.
1 - 30 of 44765 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