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

Incremental processing of Z specifications

Vasconcelos, Alexandre Marcos Lins de January 1993 (has links)
No description available.
212

Over-constrained systems in CLP and CSP

Jampel, Michael Benjamin January 1996 (has links)
No description available.
213

Algorithms for large sparse constrained optimisation

Hernandez, Marli de Freitas Gomes January 1995 (has links)
No description available.
214

A technique for clarifying the implementation of relationships between objects to enhance software reuse

Mayes, Jeanne Audrey January 1995 (has links)
No description available.
215

Parallel finite element analysis of nonlinear problems

Ku, Chi Ming John January 1996 (has links)
No description available.
216

OCCAM objects

Thomas, Ian Charles Herbert January 1989 (has links)
No description available.
217

And-parallel implementation of Prolog on distributed memory machines

Verden, Andrew Roy January 1991 (has links)
No description available.
218

Concurrent tree space transformation in the aardappel programming language

Van Oortmerssen, Wouter January 2000 (has links)
No description available.
219

MP : an application specific language

Rogers, Mark C. January 1995 (has links)
No description available.
220

Logic, dependencies, and specification engineering

Farrow, P. F. January 1988 (has links)
No description available.

Page generated in 0.0852 seconds