The elucidation of process-oriented specifications

The elucidation of process-oriented specifications

Bibliographic Details
Main Author:	Winstanley, Adam Christopher
Published:	Queen's University Belfast 1992
Subjects:	621.3822 Information theory & coding theory
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.317536

Similar Items

An object-oriented data model for hypertext
by: Zheng, Yi
Published: (1994)

Optimisation studies in a Prolog object-oriented database
by: Jiao, Zhuoan
Published: (1992)

Studies in signal processing
by: Holt, A. G. J.
Published: (2000)

Speech processing with neural networks
by: Wu, Lizhong
Published: (1992)

Bayesian point inference in signal processing
by: Quinn, Anthony Paul
Published: (1992)

All-optical signal processing devices
by: Davison, Alan Stephen
Published: (1989)

Perceptual organisation in global-local processing
by: Smith, B. J.
Published: (1983)

A timed model of communicating processes
by: Jones, G.
Published: (1982)

A model for communicating sequential processes
by: Brookes, S. D.
Published: (1983)

Acoustic convolvers for analogue signal processing
by: Monks, T.
Published: (1985)

A study in the processing of speech signals
by: Corr, Patrick H.
Published: (1987)

Detection processes for digital satellite modems
by: Aftelak, Stephen B.
Published: (1985)

Binaural signal processing for the enhancement of speech perception
by: Stringer, Paul David
Published: (1995)

Digital signal processing for time of flight sonar
by: Gilkerson, Paul
Published: (2000)

High resolution algorithms for array signal processing
by: Mardani, Reza
Published: (1990)

Application of signal processing to IR spectrophotometric instrumentation
by: Landau, U. M.
Published: (1980)

The application of multiple microprocessors to digital signal processing
by: MacLean, J. O.
Published: (1982)

An application of multiple microprocessors to array signal processing
by: Vincent, A. O.
Published: (1984)

Speech processing with linear and neural network models
by: Burrows, Tina-Louise
Published: (1996)

Developments in signal processing for computerised diagnosis in clinical neurophysiology
by: Saatchi, Mohammad Reza
Published: (1992)

Inversion of non-minimum phase systems in signal processing
by: Hashemi-Zahan, Saeid
Published: (1998)

Digital signal processing for buried-object-detection radar
by: Carr, A. G.
Published: (1980)

Real-time digital image processing in electron microscopy
by: Erasmus, S. J.
Published: (1982)

Artificial neural networks for digital signal processing applications
by: Jha, Sanjay Kumar
Published: (1990)

Recursive and concurrent VLSI architectures for digital signal processing
by: Yung, H. C.
Published: (1985)

Novel cell architectures for systolic signal processing arrays
by: Ait-Boudaoud, Djamel
Published: (1991)

Performance study of high resolution algorithms in sonar signal processing
by: Sun, Chao
Published: (1992)

Digital signal processing systems with finite state machine realisation
by: Zhang, Y.-Z.
Published: (1984)

Adaptive signal processing techniques and condition monitoring of rotating machines
by: Chaturvedi, G. K.
Published: (1981)

Analysis and correction of the helium speech effect by autoregressive signal processing
by: Duncan, George
Published: (1983)

Digital signal processing algorithms and structures for adaptive line enhancing
by: Chambers, Jonathon Arthur
Published: (1990)

Adaptive signal processing algorithms with accelerated convergence and noise immunity
by: Tanrikulu, Oguz
Published: (1995)

Low bit rate digital speech signal processing systems
by: Ahmadi, S.
Published: (1980)

Generalised hierarchical operators and their implementation in spatial data processing and other applications
by: Addison, Mark Antony
Published: (1993)

Microwave I.F signal processing strategies for coherent optical communications
by: Chaudhry, Mohammed Sabih
Published: (1993)

Algorithms and architectures using the number theoretic transform for digital signal processing
by: Saleh, R. A.
Published: (1985)

Analogue and digital video signal processing using a scrambling strategy
by: Kostic, Branko
Published: (1983)

A functional multiprocessor system for real-time digital signal processing
by: Sulley, C. E.
Published: (1985)

A cochlear model for processing of speech signals, which exhibits nonlinearity, masking and adaptation
by: Dhanda, Mungal Singh
Published: (1992)

Fast polarity correlation using zero-crossing times for flow measurement and signal processing
by: Al-Chalabi, L. A. M.
Published: (1980)