Spelling suggestions: "subject:"computer."" "subject:"coomputer.""
171 |
Techniques for formal verification of concurrent and distributed program tracesSen, 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 applicationsRao, 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 applicationsMiles, 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 lineHoward, 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 assuranceHammons, 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