• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 7538
  • 5171
  • 1361
  • 678
  • 657
  • 587
  • 436
  • 370
  • 206
  • 103
  • 92
  • 92
  • 92
  • 87
  • 75
  • Tagged with
  • 21236
  • 7165
  • 5838
  • 2354
  • 2065
  • 2051
  • 1984
  • 1932
  • 1741
  • 1682
  • 1476
  • 1246
  • 1179
  • 1135
  • 1134
  • 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.
871

Modelling processes with constraints

Greenwood, Robert Mark January 1994 (has links)
No description available.
872

Exploring the barriers to formal specification

Snook, Colin Frank January 2001 (has links)
No description available.
873

Geometric algorithms and data structures for CAD/CAM

Tor, S. B. January 1985 (has links)
No description available.
874

Theory of X-machines with applications in specification and testing

Ipate, Florentin Eugen January 1995 (has links)
No description available.
875

A teleological perspective of software and its application to large scale reuse and maintenance

Karakostas, Vassileios January 1990 (has links)
No description available.
876

The application of a formal development method to a parallel machine environment

Jones, K. D. January 1985 (has links)
No description available.
877

An investigation into computer assisted program and system design

Davies, C. G. January 1987 (has links)
No description available.
878

Performance evaluation of systems of concurrent evaluation

Ikekeonwu, G. A. M. January 1982 (has links)
No description available.
879

Monitoring distributed OCCAM programs

West, A. J. January 1987 (has links)
No description available.
880

A comparative analysis of the three main approaches to simulation and their application to manufacturing modelling

Ekere, N. N. January 1987 (has links)
No description available.

Page generated in 0.3516 seconds