编程精粹 Microsoft编写优质无错C程序秘诀 Microsoft techniques for developing bug-free C programs
（美）（马圭尔）（Maguire，Steve）著；姜静波，佟金荣译1993 年出版160 页ISBN：7505320424
Lecture Notes in Computer Science 3440 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20052005 年出版588 页ISBN：3540253335
Lecture Notes in Computer Science 4424 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20072007 年出版738 页ISBN：9783540712084
Lecture Notes in Computer Science 3920 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20062006 年出版506 页ISBN：3540330569
Lecture Notes in Computer Science 4799 HCI and Usability for Medicine and Health Care Third Symosium
USAB 20072007 年出版458 页ISBN：9783540768043
Design Of Steel Structures For Building In Seismic Areas: Eurocode 8: Design of steel structures in
Raffaele Landoifo2222 年出版0 页ISBN：
Ceramic materials for energy applications II a collection of papers presented at the 36th Internatio
January 22-272222 年出版0 页ISBN：
MODERN ENGLISH EXERCISES FOR NON-NATIVE SPEAKERS PART 2：SENTENCES AND COMPLEX STRUCTURES SECOND E
MARCELLA FRANK1986 年出版255 页ISBN：
