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

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
[tool] Add To Shelf...
Group by: No Grouping | Authors/Creators | Item Type
Number of items: 13.

Article

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 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. and Pratten, C. H. (1995) Formal Methods and Open Systems Software---concepts and tools, 16, pp. 183-188.

Book

Al-Hashimi, B.M. (1995) The Art of SPICE Simulation: Analog and Digital: 1st, CRC Press, The Art of SPICE Simulation: Analog and Digital

Conference or Workshop Item

AL-Hashimi, B.M. (1995) Current mode filters: design, simulation and implementation , pp. 61-5.

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.

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.

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.

Monograph

Gravell, A. M. (1995) A First Order Refinement Calculus s.n.

Gunn, S.R. and Nixon, M.S. (1995) A Dual Active Contour for Improved Snake Performance s.n.

This list was generated on Thu Apr 13 10:45:34 2017 BST.