- 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 251 to 260 of 10630 (0.074 seconds)| 251 |
Expression refinementBunkenburg, Alexander January 1997 (has links)
No description available.
|
| 252 |
Sort inference in action semanticsBrown, Deryck Forsyth January 1996 (has links)
No description available.
|
| 253 |
The development of a control oriented languageSiebert, J. P. January 1985 (has links)
No description available.
|
| 254 |
Towards the development of a mathematician's assistant for the specification and implementation of parallel linear algebra softwareBenson, T. J. Graeme January 1992 (has links)
No description available.
|
| 255 |
The semantics of synchronised assignmentWray, Johnston Paul January 1992 (has links)
No description available.
|
| 256 |
Parallelisation and use of large-scale atomic structure codesHewitt, Neil January 1996 (has links)
No description available.
|
| 257 |
High level language constructs for relational database designConnolly, Michelle M. January 1986 (has links)
No description available.
|
| 258 |
Some issues in the design of digital circuits using Occam and temperal logicElliot, Ralph January 1990 (has links)
No description available.
|
| 259 |
A unified approach to the debugging of optimised programsShu, William Shu January 1988 (has links)
No description available.
|
| 260 |
Constraint-based reasoning in artificial intelligenceLi, Bai January 1994 (has links)
No description available.
|
Page generated in 0.081 seconds