• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 61841
  • 6049
  • 5658
  • 3723
  • 3450
  • 2277
  • 2277
  • 2277
  • 2277
  • 2277
  • 2264
  • 1226
  • 1148
  • 643
  • 535
  • Tagged with
  • 103712
  • 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.
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.
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.
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)
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).
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
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.
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.
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).
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).
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).

Page generated in 0.1085 seconds