NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 284
  • 59
  • 42
  • 24
  • 9
  • 7
  • 5
  • 5
  • 5
  • 5
  • 5
  • 5
  • 2
  • 2
  • 2
  • Tagged with
  • 591
  • 591
  • 353
  • 215
  • 214
  • 194
  • 111
  • 90
  • 87
  • 82
  • 81
  • 73
  • 56
  • 55
  • 53
  • 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 181 to 190 of 591 (0.041 seconds)

Spelling suggestions: "subject:"[een] PROGRAMMING LANGUAGES"" "subject:"[enn] PROGRAMMING LANGUAGES""

181

Algebraic specification and verification of processor microarchitectures /

Matthews, John Robert, January 2000 (has links)
Thesis (Ph. D.)--Oregon Graduate Institute, 2000.
182

The role of type equality in meta-programming /

Pasalic, Emir. January 2004 (has links)
Thesis (Ph. D.)--OGI School of Science & Engineering at OHSU, 2004. / Includes bibliographical references (leaves 229-239).
183

Static and dynamic type systems

Rushton, Matthew V. January 2004 (has links) (PDF)
Thesis (B.A.)--Haverford College, Dept. of Computer Science, 2004. / Includes bibliographical references.
184

Ambiguities in Backus Normal Form languages

Lynch, William Charles, January 1963 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1963. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaves 58-60).
185

The applicability of FLOWTRAN to coal conversion process analysis

Goodson, Paul David, January 1976 (has links)
Thesis--Wisconsin. / Includes bibliographical references (leaf 96).
186

The definition of the control and environment structure of programming languages

Herriot, Robert George, January 1971 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1971. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliography.
187

A generic domain specific language for financial contracts

Mediratta, Anupam. January 2007 (has links)
Thesis (M.S.)--Rutgers University, 2007. / "Graduate Program in Computer Science." Includes bibliographical references (p. 46).
188

Backtracking model languages /

Muff, Urs C. January 2000 (has links)
Thesis (M.S.)--University of Colorado, 2000. / Includes bibliographical references (leaf 62).
189

Putting context into knowledge management /

Fenstermacher, Kurt D. January 1999 (has links)
Thesis (Ph. D.)--University of Chicago, Dept. of Computer Science. / Includes bibliographical references. Also available on the Internet.
190

A Functional-test specification language.

Williams, Dewi L. (Dewi Lloyd), Carleton University. Dissertation. Engineering, Electrical. January 1988 (has links)
Thesis (M. Eng.)--Carleton University, 1988. / Also available in electronic format on the Internet.

Page generated in 0.0477 seconds