NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 355
  • 86
  • 42
  • 24
  • 11
  • 11
  • 11
  • 11
  • 11
  • 11
  • 9
  • 7
  • 4
  • 3
  • 2
  • Tagged with
  • 717
  • 717
  • 410
  • 304
  • 303
  • 215
  • 121
  • 106
  • 96
  • 95
  • 94
  • 84
  • 59
  • 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.

Search results

Showing 451 to 460 of 717 (0.076 seconds)
451

Formal specification of interactive graphics programming languages

Mallgren, William R. January 1900 (has links)
Thesis (Ph. D.)--University of Washington, 1981. / Includes bibliographical references (p. [259]-265) and index.
452

Force-directed graph drawing and aesthetics measurement in a non-strict pure functional programming language

Gaconnet, Christopher James. Tarau, Paul, January 2009 (has links)
Thesis (M.S.)--University of North Texas, Dec., 2009. / Title from title page display. Includes bibliographical references.
453

Code maintenance and design for a visual programming language graphical user interface /

Pierson, Graham C. January 2004 (has links) (PDF)
Thesis (M.S. in Computer Science)--Naval Postgraduate School, Sept. 2004. / Thesis Advisor(s): Mikhail Auguston. Includes bibliographical references (p. 75). Also available online.
454

GME-MOF an MDA metamodeling environment for GME /

Emerson, Matthew Joel. January 2005 (has links)
Thesis (M. S. in Computer Science)--Vanderbilt University, May 2005. / Title from title screen. Includes bibliographical references.
455

From syntactic theories to interpreters : specifying and proving properties /

Xiao, Yong. January 2004 (has links)
Thesis (Ph. D.)--University of Oregon, 2004. / Typescript. Includes vita and abstract. Includes bibliographical references (leaves 152-155). Also available for download via the World Wide Web; free to University of Oregon users.
456

Value recursion in monadic computations /

Erkök, Levent, January 2002 (has links)
Thesis (Ph. D.)--OGI School of Science & Engineering at OHSU, 2002.
457

Least-cost syntactic error repair using extended right context

Mauney, John. January 1983 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1983. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaves 61-65).
458

Integrating models and simulations of continuous dynamic system behavior into SysML

Johnson, Thomas Alex. January 2008 (has links)
Thesis (M. S.)--Mechanical Engineering, Georgia Institute of Technology, 2008. / Committee Chair: Chris Paredis; Committee Member: Dirk Schaefer; Committee Member: Russell Peak.
459

Software visualization tools for Java /

Sampson, Stephen Filson. January 1900 (has links) (PDF)
Thesis (M.Sc.)--Acadia University, 2000. / Includes bibliographical references (leaves 83-92). Also available on the Internet via the World Wide Web.
460

Efficient specification-based testing using incremental techniques

Uzuncaova, Engin. January 1900 (has links)
Thesis (Ph. D.)--University of Texas at Austin, 2008. / Vita. Includes bibliographical references.

Page generated in 0.0803 seconds