Real-Time Systems Formal Specification and Automatic Verification
2008 年出版320 页ISBN:9780521883337
NEW SYSTEMS AND ARCHITECTURES FOR AUTOMATIC SPEECH RECOGNITION AND SYNTHESIS
RENATO DE MORI AND CHING Y.SUEN2222 年出版629 页ISBN:354015177X
Minimum Entropy Control for Time-Varying Systems (Systems & Control: Foundations & Applications)
Marc A. Peters1997 年出版188 页ISBN:9780817639723;0817639721