Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 1991

Al-Hashimi, B.M. (1991) On the implementation of video filters using current feedback amplifiers. UNSPECIFIED IEE, 1154-1158.

Butler, M.J. (1991) Behavioural Extension for CSP Processes. VDM '91 Springer-Verlag.

Debbage, M, Hill, M and Nicole, D A (1991) A General Purpose Parallel Programming Environment. , 123.

Gravell, A. M. (1991) Specialising Abstract Programs. Proc. Proceedings of the 4th Refinement Workshop Springer-Verlag, Berlin, 34-50.

Gravell, A. M. (1991) What is a Good Formal Specification. Proc. 5th Int. Conf. Annual Z User Meeting Springer Verlag, Berlin, 137-150.

Gravell, A. M. and Henderson, P (1991) Why Execute Formal Specifications? Mathematical Structures for Software Engineering Oxford University Press, 165-184.

Nicole, D A (1991) Commonality in Architectures. , 70.

Nicole, D A (1991) Evolution of Architectures and Programming Models, a the Parallel Processing Seminars, Stockholm, January 1991.

Nicole, D A (1991) The Future of Transputing, at the Nordic Transputer Seminar, Trondheim, Norway, November 1991.

Nicole, D A (1991) A General Purpose MIMD Computer, at the Computer Architecture Conference, Brindisi, Italy, October 1991.

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. UNSPECIFIED R J Mitchell & D Simpson, Woodland Publishing.