131 |
Integration of model checking into software development processesXie, Fei, Browne, James C. January 2004 (has links) (PDF)
Thesis (Ph. D.)--University of Texas at Austin, 2004. / Supervisor: James C. Browne. Vita. Includes bibliographical references.
|
132 |
Interactive character animation using dynamic elastic simulation /Capell, Steve. January 2004 (has links)
Thesis (Ph. D.)--University of Washington, 2004. / Vita. Includes bibliographical references (p. 81-89).
|
133 |
Towards a local-global visual feature-based framework for recognitionZhao, Zhipeng, January 2009 (has links)
Thesis (Ph. D.)--Rutgers University, 2009. / "Graduate Program in Computer Science." Includes bibliographical references (p. 99-104).
|
134 |
A graphical presentation of activation and shielding calculationsCraig, Thomas W. January 1965 (has links)
Thesis (M.S.)--University of Michigan, 1965.
|
135 |
Workload balancing in parallel video encoding /Chu, Kai-cheung. January 2000 (has links)
Thesis (M. Phil.)--University of Hong Kong, 2000. / Includes bibliographical references.
|
136 |
Computer virus prevention and control in Hong Kong /Szeto, Wai-chi. January 1993 (has links)
Thesis (M.B.A.)--University of Hong Kong, 1992.
|
137 |
A program manager's guide for software cost estimating /Dobbs, Andrew L. January 2002 (has links) (PDF)
Thesis (M.S. in Program Management)--Naval Postgraduate School, December 2002. / Thesis advisor(s): Brad Naegle, Latika Becker. Includes bibliographical references (p. 55-57). Also available online.
|
138 |
A formal method to analyze framework-based software systems /Larson, Trent. N., January 2002 (has links) (PDF)
Thesis (Ph. D.)--Brigham Young University. Dept. of Computer Science, 2002. / Includes bibliographical references (p. 155-163).
|
139 |
An infrastructure for program power behavior characterization and optimization evaluationHu, Chunling. January 2008 (has links)
Thesis (Ph. D.)--Rutgers University, 2008. / "Graduate Program in Computer Science." Includes bibliographical references (p. 101-106).
|
140 |
Static detection and identification of X86 malicious executables a multidisciplinary approach /Wang, Zhiyu. January 2009 (has links)
Thesis (M. Sc.)--University of Alberta, 2009. / Title from PDF file main screen (viewed on Aug. 19, 2009). "A thesis submitted to the Faculty of Graduate Studies and Research in partial fulfillment of the requirements for the degree of Master of Science, Department of Computing Science, University of Alberta." Includes bibliographical references.
|
Page generated in 0.0741 seconds