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. 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) 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.