• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 356
  • 86
  • 42
  • 24
  • 11
  • 11
  • 11
  • 11
  • 11
  • 11
  • 9
  • 7
  • 4
  • 3
  • 2
  • Tagged with
  • 722
  • 722
  • 412
  • 306
  • 305
  • 217
  • 122
  • 106
  • 97
  • 96
  • 95
  • 84
  • 60
  • 58
  • 56
  • 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.
261

Algebraic specification and verification of processor microarchitectures /

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

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).
263

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.
264

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).
265

The applicability of FLOWTRAN to coal conversion process analysis

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

D : a distributed object oriented programming language /

Lee, Wing-hong. January 1994 (has links)
Thesis (M. Phil.)--University of Hong Kong, 1994. / Includes bibliographical references.
267

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.
268

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).
269

Backtracking model languages /

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

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.

Page generated in 0.0209 seconds