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.0904 seconds