serenade in c minor for 2 flutes 2 oboes 2 clarinets and 2 bassoons ba5332
Mozart1979 年出版61 页ISBN：
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
Ligand platforms in homogenous catalytic reactions with metals: practice and applications for green
Ryohei Yamaguchi ; Ken-ichi Fujita2015 年出版344 页ISBN：1118203514
Methods of Machine Improvement & Contemporary Problems of Machine Science
K.V.Frolov2222 年出版250 页ISBN：
Understanding the basics of QSAR for applications in pharmaceutical sciences and risk assessment
Kunal Roy ; Supratik Kar ; Rudra Narayan Das2015 年出版482 页ISBN：0128015056
THIRD MEETING OF THE WORLD FEDERATION FOR ULTRASOUND IN MEDICINE AND BIOLOGY ABSTRACTS
ULTRASOUND IN MEDICINE AND BIOLOGY BRIGHTON ENGLAND1982 年出版236 页ISBN：0080297838
COMPUTER SCIENCE A BREADTH-FIRST APPROACH WITH PASCAL
1995 年出版730 页ISBN：0471311987
