Items where Division is "Faculties > Engineering and Environment > Computer and Information Sciences" and Year is 1994

B

Bradley, Steven, Henderson, William, Kendall, David and Robson, Adrian (1994) Practical formal development of real time systems. In: RTOSS '94: 11th IEEE Workshop on Real-Time Operating Systems and Software, 18-19 May 1994, Seattle.

Bradley, Steven, Henderson, William, Kendall, David and Robson, Adrian (1994) A formally based hard real-time kernel. Microprocessors and Microsystems, 18 (9). pp. 513-521. ISSN 0141-9331

K

King, Melvyn, Pardoe, John and Vickers, Paul (1994) A first course in computer programming using C. McGraw-Hill, London. ISBN 9780077079130

M

Mak, Man-Wai, Allen, William and Sexton, Graham (1994) Speaker identification using multilayer perceptrons and radial basis function networks. Neurocomputing, 6 (1). pp. 99-117. ISSN 0925 2312

S

Sexton, Graham and Zhang, Xiaowei (1994) Automated counting of pedestrians. Proceedings of SPIE, 2308 (2). pp. 830-837. ISSN 0277-786X