Lecture Notes in Computer Science 124 Compiler Specification and Verification
1981 年出版269 页ISBN：3540108866
ZB 2002：Formal Specification and Development in Z and B
2222 年出版535 页ISBN：3540431667
Automation ENCYCLOPEDIA A to Z in Advanced Manufacturing
Glenn A.Graham1988 年出版597 页ISBN：
REASONING UNDER INCOMPLETE INFORMATION IN ARTIFICIAL INTELLIGENCE
Lea Sombe1990 年出版472 页ISBN：
NEW TRENDS IN APPLIED HARMONIC ANALYSIS SPARSE REPRESENTATIONS
COMPRESSED SENSING2222 年出版0 页ISBN：
MIMESIS：THE REPRESENTATION OF REALITY IN WESTERN LITERATURE
Erich Auerbach2009 年出版579 页ISBN：
Representations of Lie Algebras:An Introduction Through GLn
Henderson2012 年出版156 页ISBN：9781107653610;1107653614
The Java language specification = Java语言规范 （英文版·第3版）
James Gosling2006 年出版656 页ISBN：711118839X
本书介绍JAVA语言及其语法。
Multi-criteria analysis in legal reasoning
Bengt Lindell2017 年出版227 页ISBN：9781786430199
