NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 284
  • 90
  • 31
  • 11
  • 11
  • 11
  • 11
  • 11
  • 11
  • 4
  • 4
  • 3
  • 2
  • 2
  • 2
  • Tagged with
  • 607
  • 607
  • 146
  • 87
  • 87
  • 71
  • 66
  • 65
  • 63
  • 61
  • 55
  • 52
  • 47
  • 47
  • 44
  • 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 61 to 70 of 607 (0.083 seconds)
61

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

Towards an object-oriented refinement calculus /

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

DYMOS a dynamic modification system /

Lee, Insup. 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 152-155).
Computer programming. Coding theory.
64

An experiment in computer design the application of elementary control in optimizing the balance between functional capability and hardware complexity.

Rusterholz, John Theophil, January 1969 (has links)
Thesis (M.S.)--University of Wisconsin--Madison, 1969. / eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references.
Computers. Computer programming.
65

Optimal design of automatic control systems by use of dynamic programming techniques

Fang, Yang, January 1959 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1959. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaves 108-113).
Automatic control. Computer programming.
66

Algebraic algorithms for computing the complex zeros of Gaussian polynomials

Pinkert, James R. January 1973 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1973. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliography.
Algorithms. Computer programming.
67

PAT a pseudo-assembler-translator for the WISC /

McClure, Charles William. January 1961 (has links)
Thesis (M.S.)--University of Wisconsin--Madison, 1961. / Typescript. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references.
Wisc computer. Computer programming.
68

Decidability and expressiveness of logics of processes /

Abrahamson, Karl Raymond. January 1980 (has links)
Thesis--University of Washington. / Vita. Bibliography: leaves [164]-167.
Modality (Logic) Computer programming.
69

Cooperative bug isolation winning thesis of the 2005 ACM Doctoral Dissertation Competition /

Liblit, Ben. January 1900 (has links)
Revised thesis (Ph.D.) - University of California, Berkeley, 2004. / Includes bibliographical references (p. 97-101) and index.
Computer software Computer programming
70

Dynamically discovering likely program invariants /

Ernst, Michael D. January 2000 (has links)
Thesis (Ph. D.)--University of Washington, 2000. / Vita. Includes bibliographical references (p. 125-141).
Computer programming. Computer programs

Page generated in 0.0892 seconds