Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN：3540433767
MAGGIE: A GIRL OF THE STREETS(A STORY OF NEW YORK)(1893)STEPHEN CRANE AN AUTHORITATIVE TEXT BACKGRO
THOMAS A.GULLASON2222 年出版258 页ISBN：0393950243
雄辩美国法庭 美籍华裔庭审律师案说美国法律 a collection of essays of a Chinese American trial attorney
（美）董克文著2007 年出版263 页ISBN：7802191912
本文通过庭审律师对其亲身经历的典型进行深入浅出地分析、解说，较全面的介绍了美国的法律知识及司法实际情况。
US ECONOMIC STATECRAFT FOR SURVIVAI 1933-1991 OF SANCTIONS
EMBARGOES AND ECONOMIC WARFARE2015 年出版376 页ISBN：1138874435
Electrospinning of polymers for functional nanofibres : fibre generators
fibre morphologies and properties2013 年出版228 页ISBN：3659319066
Modern technology of propellants for missile Volume Two
Zhiyong Huang;Wenhui Dou2015 年出版215 页ISBN：7561243350
Modern technology of propellants for missile Volume One
Zhiyong Huang;Wenhui Dou2015 年出版257 页ISBN：7561243350
Analytical uses of immobilized biological compounds for detection
medical and industrial uses1988 年出版395 页ISBN：9027726604
