• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 284
  • 90
  • 31
  • 11
  • 11
  • 11
  • 11
  • 11
  • 11
  • 4
  • 4
  • 3
  • 2
  • 2
  • 2
  • Tagged with
  • 607
  • 607
  • 146
  • 87
  • 87
  • 71
  • 66
  • 65
  • 63
  • 61
  • 55
  • 52
  • 47
  • 47
  • 44
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
191

Pattern systems and methodologies for multiparadigm analysis and design /

Knutson, Charles D. January 1900 (has links)
Thesis (Ph. D.)--Oregon State University, 1998. / Typescript (photocopy). Includes bibliographical references (leaves 279-292). Also available on the World Wide Web.
192

Animator : an object-oriented approach to the creation and direction of computer animated actors /

Kurtz, Stephen. January 1987 (has links)
Thesis (M.S.)--Rochester Institute of Technology, 1987. / Typescript. Includes bibliographical references (leaves 65-67).
193

Analysis and categorization of software faults to assist novice programmers /

Masuck, Carol M. January 1900 (has links)
Thesis (Ph. D., Computer Science)--University of Idaho, August 20, 2008. / Major professor: Jim Alves-Foss. Includes bibliographical references (leaves 105-110). Also available online (PDF file) by subscription or by purchasing the individual file.
194

A comparison of high-latitude ionospheric propagation predictions from Advanced Prophet 4.0 with measured data

Gikas, Stefanos S. January 1990 (has links) (PDF)
Thesis (M.S. in Electrical Engineering)--Naval Postgraduate School, December 1990. / Thesis Advisor(s): Adler, Richard W. Second Reader: Jauregue, Steve. "December 1990." Description based on title screen as viewed on March 31, 2010. DTIC Identifier(s): Ionospheric Propagation, Computer Programs, High Frequency, High Latitudes, Advanced Prophet Program, Theses. Author(s) subject terms: High Frequency (HF), Ionospheric Propagation, High Latitude Regions. Includes bibliographical references (p. 75-76). Also available in print.
195

Software testing for evolutionary iterative rapid prototyping

Davis, Edward V. January 1990 (has links) (PDF)
Thesis (M.S. in Computer Science)--Naval Postgraduate School, December 1990. / Thesis Advisor(s): Shimeall, Timothy J. Second Reader: Barnes, Patrick D. "December 1990." Description based on title screen as viewed on March 29, 2010. DTIC Identifier(s): Computer Program Verification, Prototypes, Software Engineering, User Manuals. Author(s) subject terms: Software Testing, Software Prototyping, Rapid Prototyping, Reusable Components, Requirements-based Testing, Software Testing Tools. Includes bibliographical references (p. 276-281). Also available in print.
196

Automate Reasoning computer assisted proofs in set theory using Gödel's algorithm for class formation /

Goble, Tiffany Danielle. January 2004 (has links) (PDF)
Thesis (M.S.)--Mathematics, Georgia Institute of Technology, 2005. / Belinfante, Johan, Committee Chair ; Green, William, Committee Member ; Manolios, Panagiotis, Committee Member. Includes bibliographical references.
197

Fuzzy problem-solving

LeFaivre, Richard Allen, January 1974 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1974. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references.
198

Proving assertious about the state structure of formally-defined, interacting, digital systems

Johnson, Robert Thomas, January 1973 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1973. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references.
199

Inductive inference on computer generated patterns

Keller, Mary K. January 1965 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1965. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references.
200

A cost effective methodology for quantitative evaluation of software reliability using static analysis /

Schilling, Walter W., January 2007 (has links)
Dissertation (Ph.D.)--University of Toledo, 2007. / Typescript. "Submitted as partial fulfillment of the requirements for the Doctor of Philosophy in Engineering." Bibliography: leaves 210-238.

Page generated in 0.2574 seconds