NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 751
  • 350
  • 73
  • 73
  • 73
  • 73
  • 73
  • 72
  • 48
  • 31
  • 9
  • 5
  • 5
  • 4
  • 3
  • Tagged with
  • 1700
  • 1700
  • 271
  • 253
  • 241
  • 208
  • 186
  • 185
  • 174
  • 166
  • 145
  • 138
  • 137
  • 127
  • 125
  • 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 711 to 720 of 1700 (0.043 seconds)

Spelling suggestions: "subject:"computer barograms"" "subject:"computer _programs""

711

INCREMENTAL SYNTHESIS OF INDUCTIVE ASSERTIONS FOR PROGRAM VERIFICATION

Britton, Dianne Ellen, 1950- January 1977 (has links)
No description available.
Computer programming.
Computer programs -- Testing.
Debugging in computer science.
712

The development of a computer program for thermal comfort analysis

Praditsmanont, Apichat 31 March 2011 (has links)
Not available / text
713

Language and compiler support for mixin programming

Cardone, Richard Joseph 18 April 2011 (has links)
Not available / text
Computer software--Development
Compilers (Computer programs)
714

Adaptive decision-making frameworks for multi-agent systems

Martin, Cheryl Elizabeth Duty 25 May 2011 (has links)
Not available / text
Decision making--Computer programs
Intelligent agents (Computer software)
715

Intelligent agent for Internet Chinese financial news retrieval

Chung, Kit-lun., 鐘傑麟. January 2000 (has links)
published_or_final_version / abstract / toc / Computer Science and Information Systems / Master / Master of Philosophy
716

Formal data flow diagrams (FDFD): a petri-netbased requirements specification language

Pong, Lih, 龐立 January 1985 (has links)
published_or_final_version / Computer Science / Master / Master of Philosophy
System analysis - Computer programs.
Flow charts.
Petri nets.
717

Analysis of complex resistivity models in spheroidal geometries

Flanagan, Peter William January 1983 (has links)
No description available.
Earth resistance -- Computer programs.
718

Creation of a new facility for measuring thermal expansion and studies on the homogeneity of Heraeus-Amersil fused silica

Shough, Dean Miles January 1981 (has links)
No description available.
Thermal stresses -- Computer programs.
Silica, Vitreous -- Thermal properties.
719

Geophysical basis and cartography of the complete Bouguer gravity anomaly map of Arizona

Schmidt, James Scott, 1947- January 1976 (has links)
No description available.
Gravity anomalies -- Arizona.
Gravity anomalies -- Graphic methods.
Cartography -- Computer programs.
720

THE DESIGN OF TRANSPORTABLE INTERPRETERS

Druseikis, Frederick C. (Frederick Charles), 1949- January 1975 (has links)
No description available.
Interpreters (Computer programs)
SIL (Computer program language)
Computer programming.

Page generated in 0.0477 seconds