Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 1995
|Up a level|
AL-Hashimi, B.M. (1995) Current mode filters: design, simulation and implementation , pp. 61-5.
Al-Hashimi, B.M. (1995) The Art of SPICE Simulation: Analog and Digital: 1st, CRC Press, The Art of SPICE Simulation: Analog and Digital
Al-Hashimi, B.M. (1995) Behavioral models of electronic filters , pp. 51-5.
Back, R.J.R. and Butler, M.J., (1995) Exploring Summation and Product Operators in the Refinement Calculus Möller, B. (ed.) At Mathematics of Program Construction.
Butler, M.J. and Morgan, C.C. (1995) Action Systems, Unbounded Nondeterminism, and Infinite Traces Formal Aspects of Computing, 7, pp. 37-53.
Debbage, M, Hill, M B and Nicole, D A (1995) An Intterface to a Reliable Packet Delivery Service for Parallel Systems Default journal
Dunlop, A, Hernandez, E, Naim, O, Hey, A J G and Nicole, D (1995) A Toolkit for Optimizing Parallel Performance At Proceedings of HPCN Europe '95: published in Lecture Notes in Computer Science. , p. 548.
Dunlop, A N, Hey, A J G, Nicole, D A and Pritchard, D J (1995) Performance Estimation for Parallel Performance Optimisation Supercomputing, 11, pp. 19-31.
Garratt, P. W. (1995) The Software Management Game Simulation and Gaming, l26, (1), pp. 105-109.
Gravell, A. M. (1995) A First Order Refinement Calculus s.n.
Gravell, A. M. and Pratten, C. H. (1995) Formal Methods and Open Systems Software---concepts and tools, 16, pp. 183-188.
Gunn, S.R. and Nixon, M.S. (1995) A Dual Active Contour for Improved Snake Performance s.n.
Gunn, S.R. and Nixon, M.S., (1995) Improving Snake Performance via a Dual Active Contour Hlavac, V. and Sara, R. (eds.) At Computer Analysis of Images and Patterns, Czech Republic. , pp. 600-605.