• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 4360
  • 1626
  • 601
  • 349
  • 331
  • 215
  • 77
  • 65
  • 64
  • 57
  • 57
  • 57
  • 57
  • 57
  • 56
  • Tagged with
  • 10649
  • 3579
  • 1741
  • 1380
  • 1324
  • 1265
  • 1216
  • 1104
  • 1070
  • 1043
  • 981
  • 931
  • 826
  • 782
  • 648
  • 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.
481

Visualizing the pumping lemma for regular languages

Cogliati, Joshua Joseph. January 2004 (has links) (PDF)
Thesis (M.S.)--Montana State University--Bozeman, 2004. / Typescript. Chairperson, Graduate Committee: Rockford Ross. Includes bibliographical references (leaves 37-38).
482

Geometric-programming solution of optimal control problems

Djanali, Supeno. January 1978 (has links)
Thesis (M.S.)--Wisconsin. / Includes bibliographical references (leaves 107-121).
483

Implementation and improvement of quadratic approximation programming on CACHE FLOWTRAN

Biegler, Lorenz T. January 1979 (has links)
Thesis (M.S.)--University of Wisconsin--Madison. / Typescript. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaves 96-100).
484

Visual meta-programming language graphical user interface for generative programming /

Carpenter, Steven M. January 2002 (has links) (PDF)
Thesis (M.S. in Computer Science)--Naval Postgraduate School, September 2002. / Thesis advisor(s): Mikhail Auguston, Richard Riehle. Includes bibliographical references (p. 89). Also available online.
485

Container loading problem by a multi-stage heuristics approach /

Koo, Wai-yip. January 1997 (has links)
Thesis (M. Phil.)--University of Hong Kong, 1998. / Includes bibliographical references (leaves 41-42).
486

Two results in algorithm design : finding least-weight subsequences with fewer processors and traversing an obstacle-spread terrain without a map /

Chan, Kwong-fai. January 1991 (has links)
Thesis (M. Phil.)--University of Hong Kong, 1991.
487

Use of a digital computer in determination of optimum rate of production for an open pit project

Kim, Woong Soo. January 1964 (has links)
Thesis (M.S.)--University of Wisconsin--Madison, 1964. / eContent provider-neutral record in process. Description based on print version record. Bibliography: l. 71.
488

Definition and use of attribute reevaluation in attributed grammars

Skedzeleski, Stephen Karl. January 1900 (has links)
Thesis--University of Wisconsin--Madison. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaves 133-135).
489

An existence analysis of recursive programming models

Kennedy, Peter, January 1968 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1968. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references.
490

Group theory and metaheuristics /

Colletti, Bruce William, January 1999 (has links)
Thesis (Ph. D.)--University of Texas at Austin, 1999. / Vita. Includes bibliographical references (leaves 271-279). Available also in a digital version from Dissertation Abstracts.

Page generated in 0.0839 seconds