231 |
A study of the collision problem in multi-axis NC turningCollingwood, M. C. January 1988 (has links)
No description available.
|
232 |
Higher-level algorithmic structures in the refinement calculusKing, Stephen January 1998 (has links)
No description available.
|
233 |
Quasi-parallel processingHolt, C. M. January 1986 (has links)
No description available.
|
234 |
Formal methods for global synchronyChen, Y. January 2001 (has links)
No description available.
|
235 |
An abstract device approach to the programming and monitoring of flexible assembly cellsBrown, Patrick James January 1991 (has links)
No description available.
|
236 |
A graph-based framework for dynamic process systems modellingHarris, S. J. January 1998 (has links)
No description available.
|
237 |
Parallel implementation of funtional languages using divide-and-conquer strategiesEsmaeili, Javad January 1995 (has links)
No description available.
|
238 |
The roles of inheritance in software developmentArmstrong, James Matthew January 1991 (has links)
No description available.
|
239 |
The specification and simulation of synchronous concurrent algorithmsMartin, Andrew Richard January 1989 (has links)
No description available.
|
240 |
Computer based elucidation of reaction mechanismsChinnick, S. J. January 1987 (has links)
No description available.
|
Page generated in 0.1058 seconds