Global ETD Search

161	Efficient model checking for timing diagrams Amla, Nina. January 2001 (has links) (PDF) Thesis (Ph. D.)--University of Texas at Austin, 2001. / Vita. Includes bibliographical references. Available also from UMI Company. Computer systems. Computer software.
162	Quantitative analysis of domain testing effectiveness / Narendra, Koneru. January 2001 (has links) (PDF) Thesis (M.S.)--East Tennessee State University, 2001. / Vita. Includes bibliographical references (leaves 66-67). Also available via Internet at the UMI web site. Computer software Computer software
163	PAT a pseudo-assembler-translator for the WISC / McClure, Charles William. January 1961 (has links) Thesis (M.S.)--University of Wisconsin--Madison, 1961. / Typescript. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references. Wisc computer. Computer programming.
164	A calculational approach to program inversion / Mu, Shin-Cheng. January 2004 (has links) Based on the author's D. Phil. Thesis (University of Oxford, 2003). / Includes bibliographical references. Available on-line. Computer algorithms Computer programs
165	Setting up information technology structures for trade unions Hecht, Harvey B. January 2006 (has links) (PDF) Thesis (M.S.C.I.T.)--Regis University, Denver, Colo., 2006. / Title from PDF title page (viewed on Dec. 13, 2006). Includes bibliographical references. Computer networks Computer networks
166	Scalable and efficient distributed algorithms for defending against malicious Internet activity Sung, Minho. January 2006 (has links) Thesis (Ph. D.)--Computing, Georgia Institute of Technology, 2007. / Xu, Jun, Committee Chair ; Ahamad, Mustaque, Committee Member ; Ammar, Mostafa, Committee Member ; Bing, Benny, Committee Member ; Zegura, Ellen, Committee Member. Computer networks Computer networks
167	A reflection based framework for automation of parameter variations in simulation Gilman, George H. Lacher, R. Chris. January 2006 (has links) Thesis (M. S.)--Florida State University, 2006. / Advisor: R. C. Lacher, Florida State University, College of Arts and Sciences, Dept. of Computer Science. Title and description from dissertation home page (viewed June 12, 2006). Document formatted into pages; contains vii, 75 pages. Includes bibliographical references.
168	A component-based approach to verification and validation of formal software models Desovski, Dejan. January 1900 (has links) Thesis (Ph. D.)--West Virginia University, 2006. / Title from document title page. Document formatted into pages; contains viii, 109 p. : ill. (some col.). Includes abstract. Includes bibliographical references (p. 95-101). Computer software Computer software
169	Unlocking test-driven development Knapp, Chris H. January 2006 (has links) (PDF) Thesis (M.S.C.I.T.)--Regis University, Denver, Colo., 2006. / Title from PDF title page (viewed on Sept. 19, 2006). Includes bibliographical references. Computer software Computer software
170	Long-term bandwidth estimation Masney, Brian E. January 1900 (has links) Thesis (M.S.)--West Virginia University, 2006. / Title from document title page. Document formatted into pages; contains xvii, 83 p. : ill. (some col.). Includes abstract. Includes bibliographical references (p. 79-83). Computer networks. Computer capacity.

Search results