Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 1991
|Up a level|
Al-Hashimi, B.M. (1991) On the implementation of video filters using current feedback amplifiers , pp. 1154-1158.
Butler, M.J., (1991) Behavioural Extension for CSP Processes Prehn, S. and Toetenel, W.J. (eds.) At VDM '91.
Debbage, M, Hill, M and Nicole, D A (1991) A General Purpose Parallel Programming Environment
Gravell, A. M., (1991) Specialising Abstract Programs Morris, J. M. and Shaw, R. C. (eds.) At Proc. Proceedings of the 4th Refinement Workshop. , pp. 34-50.
Gravell, A. M., (1991) What is a Good Formal Specification Nicholls, J. E. (ed.) At Proc. 5th Int. Conf. Annual Z User Meeting. , pp. 137-150.
Gravell, A. M. and Henderson, P, (1991) Why Execute Formal Specifications? Neumann, B. De, Simpson, D. and Slater, G. (eds.) At Mathematical Structures for Software Engineering. , pp. 165-184.
Nicole, D A (1991) Commonality in Architectures
Nicole, D A (1991) Invited Lectures on Transputer-Based Architectures, at the Community of Mediterranean Universities Distance Learning Computer Science School Third Summer Session in Computer Architecture, Technopolis (Bari), Italy, July 1991
Thomas, K S (1991) Experience with Multi-Transputer Ada in Ada into the 90's