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 dataGikas, 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 prototypingDavis, 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-solvingLeFaivre, 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 systemsJohnson, 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 patternsKeller, 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.0826 seconds