• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 61842
  • 6049
  • 5658
  • 3723
  • 3450
  • 2277
  • 2277
  • 2277
  • 2277
  • 2277
  • 2264
  • 1226
  • 1148
  • 643
  • 535
  • Tagged with
  • 103713
  • 45477
  • 28914
  • 20558
  • 17967
  • 12469
  • 10994
  • 10852
  • 9121
  • 8524
  • 7166
  • 6402
  • 6248
  • 6192
  • 6063
  • 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.
131

Integration of model checking into software development processes

Xie, 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 recognition

Zhao, 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 calculations

Craig, 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 evaluation

Hu, 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.0752 seconds