> Publishers' series
-
8:
Formal specification and verification in VLSI design Bruce S. Davie
Edinburgh: Edinburgh University Press, 1990
-
7:
Hidden Markov models for speech recognition X. D. Huang; Y. Ariki; M. A. Jack
Edinburgh: Edinburgh University Press, 1990