• 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.
501

Achievement of skill and generality in an artificial intelligence program

Wasserman, Anthony I. January 1970 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1970. / Typescript. Vita. Description based on print version record. Includes bibliographical references.
502

The use of heuristics in identifying self-propagating malicious mobile code

Twardus, Jesse. January 2005 (has links)
Thesis (M.S.)--West Virginia University, 2005. / Title from document title page. Document formatted into pages; contains viii, 104 p. : ill. (some col.). Includes abstract. Includes bibliographical references (p. 89-92).
503

Towards an object-oriented refinement calculus /

Shield, Jamie Barry Nathan. January 2004 (has links) (PDF)
Thesis (Ph.D.) - University of Queensland, 2004. / Includes bibliography.
504

Matching problems in large databases

U, Leong-Hou. January 2010 (has links)
Thesis (Ph. D.)--University of Hong Kong, 2010. / Includes bibliographical references (leaves 141-147). Also available in print.
505

Computational methods for the optimization of sampled-data distributed-parameter systems by use of dynamic programing

Ewing, Donald James, January 1970 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1970. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliography.
506

Combining parsing and evaluation for attributed grammars

Rowland, Bruce Ramon. January 1900 (has links)
Thesis--Wisconsin. / Vita. Includes bibliographical references (leaves 137-143).
507

Geometric programming and decomposition techniques in optimal control

Djanali, Supeno. January 1984 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1984. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaves 215-244).
508

The generalized inverse dual for quadratically constrained quadratic programs

Randolph, William David, January 1974 (has links)
Thesis--University of Florida. / Description based on print version record. Typescript. Vita. Bibliography: leaves 107-111.
509

Extension mechanisms for high-level programming languages

Beander, Bertil Sten Gustav. January 1978 (has links)
Thesis--Wisconsin. / Vita. Includes bibliographical references (leaves 178-184).
510

A processor architecture for modular programming languages

Chong, Chan Fung. January 1900 (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 126-132).

Page generated in 0.076 seconds