NDLTD Global ETD Search
  • 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.

Search results

Showing 241 to 250 of 10649 (0.073 seconds)
241

A representation language based on a game-theoretic interpretation of logic

Jackson, E. P. January 1987 (has links)
No description available.
519.5
Logic programming
242

Implementation of a highly portable Pascal interpreter using indirect threaded code techniques

Helliwell, A. M. January 1987 (has links)
No description available.
005
Programming language compiler
243

Parallel execution of Parlog

Cheese, Andrew B. January 1990 (has links)
No description available.
005
Logic programming
244

A numerical method for determining the Titchmarsh-Weyl m-coefficient and its applications to certain integro-differential inequalities

Kirby, V. G. January 1990 (has links)
No description available.
510
Mathematical programming
245

IKBS for real-time monitoring and control applications

Pokkunuri, Bhanu Prasad January 1990 (has links)
No description available.
005
Logic programming
246

A study of iterative methods for the solution of systems of linear equations on transputer networks

Cunha, Rudnei Dias da January 1992 (has links)
No description available.
005
Mathematical programming
247

Interactive graphical support for sequential and concurrent programming

Man-Chi, P. January 1985 (has links)
No description available.
005
Programming development
248

A study of methodologies of Information Technology in the provision of communication aids for the speech-impaired

Stephanidis, C. January 1986 (has links)
No description available.
005
Programming communication aids
249

The weighted maximal planar graph : mathematical formulations and solutions

Abdullah, Ali H. January 2002 (has links)
No description available.
511
Integer linear programming
250

Using directed graphs for software visualisation

Kelner, Judith January 1993 (has links)
No description available.
005
Visual programming tools

Page generated in 0.0788 seconds