Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
18959 open access dissertations and theses found for:
if(Logic programming)  »   Refine Search
1.
Type-Intertwined Separation Logic
by Coughlin, Devin, Ph.D.  University of Colorado at Boulder. 2015: 203 pages; 3704668.
2.
Relational programming in miniKanren: Techniques, applications, and implementations
by Byrd, William E., Ph.D.  Indiana University. 2009: 296 pages; 3380156.
3.
Self-interpreter for Prolog
by Alkhelaiwi, Aseel, M.S.  University of Rhode Island. 2012: 83 pages; 1508337.
4.
An ontology-based knowledge management framework for heterogeneous verification
by Kumar, Rajesh, Ph.D.  Carnegie Mellon University. 2007: 174 pages; 3264769.
5.
Mechanizing exploratory game design
by Smith, Adam Marshall, Ph.D.  University of California, Santa Cruz. 2012: 403 pages; 3551216.
6.
Polymorphic chip multiprocessor architecture
by Solomatnikov, Alexandre, Ph.D.  Stanford University. 2009: 167 pages; 3343960.
8.
Evaluating Outcomes Through a Logic Model
by Thompson, Caitlin, M.A.  Prescott College. 2012: 120 pages; 1531115.
9.
Modal types for mobile code
by Murphy, Tom VII, Ph.D.  Carnegie Mellon University. 2008: 376 pages; 3314655.
10.
Smart memories: A reconfigurable memory system architecture
by Firoozshahian, Amin, Ph.D.  Stanford University. 2009: 196 pages; 3343953.
11.
Enforcing user-defined management logic in large scale systems
by Perera, Hemapani Srinath, Ph.D.  Indiana University. 2009: 274 pages; 3358983.
12.
The complexity of flow analysis in higher-order languages
by Van Horn, David, Ph.D.  Brandeis University. 2009: 162 pages; 3369445.
13.
An Integrated Development Environment for the Clara Constraint-Programming Language
by Sinha, Rakesh, M.S.  California State University, Long Beach. 2017: 50 pages; 10637598.
14.
Math on a Sphere: Implementing a Programming Language for Learners
by Redick, Michelle B., M.S.  University of Colorado at Boulder. 2012: 50 pages; 1512000.
16.
A language for specifying compiler optimizations for generic software
by Willcock, Jeremiah J., Ph.D.  Indiana University. 2007: 134 pages; 3297114.
17.
The computational content of isomorphisms
by James, Roshan P., Ph.D.  Indiana University. 2013: 197 pages; 3587675.
18.
PLC code vulnerabilities through SCADA systems
by Valentine, Sidney E., Ph.D.  University of South Carolina. 2013: 136 pages; 3561883.
19.
FPGA implementation of self testing USART
by Rana, Vireshsingh, M.S./M.P.H.  California State University, Long Beach. 2016: 37 pages; 10141518.
20.
Malware Vectors: A Technique for Discovering Defense Logics
by Stocco, Gabriel Fortunato, Ph.D.  Dartmouth College. 2014: 121 pages; 3685144.
21.
Development of PHP to UMPL transformer
by Hu, Zili, Ed.D.  Ball State University. 2013: 245 pages; 3590414.
23.
Ultra reliable computing systems
by Lee, Chong Ho, Ph.D.  Portland State University. 2007: 224 pages; 3294668.
24.
Building positive body image in adolescent girls: An evaluation of a body image prevention program
by Shibata, Cameron L., M.A.  California State University, Long Beach. 2017: 71 pages; 10254341.
25.
26.
Design, analysis, and synthesis of 16 bit arithmetic logic unit using reversible logic gate
by Midde, Bharath Reddy, M.S.  California State University, Long Beach. 2016: 59 pages; 10099864.
27.
Ambient programming
by Elumeze, Nwanua Onochie, Ph.D.  University of Colorado at Boulder. 2010: 160 pages; 3433288.
28.
Impact of active learner involvement on achievement and retention
by Norfleet, Wendy, Ph.D.  Wayne State University. 2008: 100 pages; 3310878.
29.
Programmable and Scalable Software-Defined Networking Controllers
by Voellmy, Andreas Richard, Ph.D.  Yale University. 2014: 219 pages; 3580888.
30.
Spatio-termporal reasoning about agent behavior
by Shakarian, Paulo, Ph.D.  University of Maryland, College Park. 2011: 649 pages; 3461587.
1 - 30 of 18959 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