Real-Time Systems Formal Specification and Automatic Verification
2008 年出版320 页ISBN:9780521883337
Sparse coding and its applications in computer vision
Zhaowen Wang ; Jianchao Yang2016 年出版228 页ISBN:
Advances in Image Compression and Automatic Target Recognition Volume 1099
1989 年出版261 页ISBN:0819401358
Automatic control and optimisation of food processes ; pt. 2
International Symposium on the Automatic Control and Optimisation of Food Processes1988 年出版564 页ISBN:
High Efficiency Video Coding and Other Emerging Standards
K.R.Rao and J.J.Hwang2017 年出版290 页ISBN:8793609037
VLSI SILICON COMPILATION AND THE ART OF AUTOMATIC MICROCHIP DESIGN
RONALD F.AYRES1983 年出版481 页ISBN:
DESIGNING EFFICIENT ALGORITHMS FOR PARALLEL COMPUTERS
MICHAEL J.QUINN2222 年出版288 页ISBN:0070510717