NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 61845
  • 6049
  • 5658
  • 3724
  • 3450
  • 2322
  • 2322
  • 2322
  • 2322
  • 2322
  • 2309
  • 1227
  • 1148
  • 643
  • 535
  • Tagged with
  • 103770
  • 45499
  • 28943
  • 20559
  • 17996
  • 12472
  • 10995
  • 10853
  • 9121
  • 8524
  • 7166
  • 6403
  • 6252
  • 6194
  • 6064
  • 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.

Search results

Showing 171 to 180 of 103770 (0.047 seconds)
171

Techniques for formal verification of concurrent and distributed program traces

Sen, Mehmet Alper, Garg, Vijay K. January 2004 (has links) (PDF)
Thesis (Ph. D.)--University of Texas at Austin, 2004. / Supervisor: Vijay K. Garg. Vita. Includes bibliographical references.
Computer programs Computer algorithms.
172

Randomness extractors for independent sources and applications

Rao, Anup, January 1900 (has links)
Thesis (Ph. D.)--University of Texas at Austin, 2007. / Vita. Includes bibliographical references.
Computer algorithms. Computer science.
173

Practical and scalable deployment of DoS defense measures in the internet /

Gong, Chao, January 2007 (has links)
Thesis (Ph.D.)--University of Texas at Dallas, 2007. / Includes vita. Includes bibliographical references (leaves 123-128)
Computer networks Computer algorithms.
174

Deploying a secure Windows operating system and applications

Miles, Russell Slater, January 2007 (has links) (PDF)
Thesis (M.Eng.)--University of Louisville, 2007. / Title and description from thesis home page (viewed May 9, 2007). Department of Computer Engineering and Computer Science. Vita. "May 2007." Includes bibliographical references (p. 20-21).
Computer security. Computer networks.
175

The computer as a medium for art : aesthetics and the processes of mind /

Woodard, William Bryan. January 1985 (has links)
Thesis (M.A.)--Ohio State University, 1985. / Includes bibliographical references (leaves 128-133). Available online via OhioLINK's ETD Center
Computer graphics. Computer art.
176

Cooperative bug isolation winning thesis of the 2005 ACM Doctoral Dissertation Competition /

Liblit, Ben. January 1900 (has links)
Revised thesis (Ph.D.) - University of California, Berkeley, 2004. / Includes bibliographical references (p. 97-101) and index.
Computer software Computer programming
177

Creating a software assembly line

Howard, Gary Allan. January 2007 (has links) (PDF)
Thesis (M.S.C.I.T.)--Regis University, Denver, Colo., 2007. / Title from PDF title page (viewed on May 25, 2007). Includes bibliographical references.
Computer software Computer software
178

Real-time motion transition by example /

Egbert, Cameron, January 2005 (has links) (PDF)
Thesis (M.S.)--Brigham Young University. Dept. of Computer Science, 2005. / Includes bibliographical references (p. 33-36).
Computer animation. Computer graphics.
179

Continuing professional education for software quality assurance

Hammons, Rebecca L. January 2009 (has links)
Thesis (D. Ed.)--Ball State University, 2009. / Title from PDF t.p. (viewed on Nov. 11, 2009). Includes bibliographical references (p. 114-119).
Computer software Computer programmers
180

Dynamically discovering likely program invariants /

Ernst, Michael D. January 2000 (has links)
Thesis (Ph. D.)--University of Washington, 2000. / Vita. Includes bibliographical references (p. 125-141).
Computer programming. Computer programs

Page generated in 0.0505 seconds