• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 4
  • Tagged with
  • 4
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 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.
1

A graphical presentation of activation and shielding calculations

Craig, Thomas W. January 1965 (has links)
Thesis (M.S.)--University of Michigan, 1965.
2

Range analysis of object level code /

Femister, James A., January 1997 (has links)
Thesis (Ph. D.)--Lehigh University, 1997. / Includes vita. Bibliography: leaves 82-85.
3

Assertion seeding development of program instrumentation through iterative formal analysis /

Nagulakonda, Vikram. January 1999 (has links)
Thesis (M.S.)--West Virginia University, 1999. / Title from document title page. Document formatted into pages; contains v, 80 p. : ill. Includes abstract. Includes bibliographical references (p. 33-35).
4

Reasoning about imperative and higher-order programs a dissertation /

Koutavas, Vasileios. January 1900 (has links)
Thesis (Ph. D.)--Northeastern University, 2008. / Title from title page (viewed March 24, 2009). College of Computer and Information Science. Includes bibliographical references (p. 163-171).

Page generated in 0.1279 seconds