NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 354
  • 85
  • 42
  • 24
  • 11
  • 11
  • 11
  • 11
  • 11
  • 11
  • 9
  • 7
  • 4
  • 3
  • 2
  • Tagged with
  • 715
  • 715
  • 408
  • 303
  • 302
  • 213
  • 120
  • 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 715 (0.015 seconds)
451

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

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

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

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

Value recursion in monadic computations /

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

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

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

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

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

Operational semantics for PLEX : a basis for safe parallelization /

Lindhult, Johan. January 2008 (has links)
Lic.-avh. Västerås : Mälardalens högskola, 2008. / S. 75-79: Bibliografi.

Page generated in 0.0203 seconds