- 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 1 to 10 of 243 (0.115 seconds)| 1 |
Implementations of process synchronisation, and their analysisMitchell, Kevin Nicholas Peter January 1985 (has links)
No description available.
|
| 2 |
Formal method for the retrospective specification of the functionality of existing software systemsHalmay, Edit January 1988 (has links)
No description available.
|
| 3 |
MP : an application specific languageRogers, Mark C. January 1995 (has links)
No description available.
|
| 4 |
Quasi-parallel processingHolt, C. M. January 1986 (has links)
No description available.
|
| 5 |
Implementation of a highly portable Pascal interpreter using indirect threaded code techniquesHelliwell, A. M. January 1987 (has links)
No description available.
|
| 6 |
Expression refinementBunkenburg, Alexander January 1997 (has links)
No description available.
|
| 7 |
Sort inference in action semanticsBrown, Deryck Forsyth January 1996 (has links)
No description available.
|
| 8 |
The development of a control oriented languageSiebert, J. P. January 1985 (has links)
No description available.
|
| 9 |
Some issues in the design of digital circuits using Occam and temperal logicElliot, Ralph January 1990 (has links)
No description available.
|
| 10 |
A unified approach to the debugging of optimised programsShu, William Shu January 1988 (has links)
No description available.
|
Page generated in 0.1211 seconds