（瑞典）海顿斯坦姆著；董铮铮译2017 年出版205 页ISBN：9787555011729
《查理国王的人马》是海顿斯坦姆最重要的作品，是一部生动描绘17世纪末至18世纪初瑞典王国的历史巨著，还原了18世纪初瑞典国王查理十二世率兵和俄国、丹麦、挪威等国进行北方战争的历史风貌。表现了瑞典的军队...
（美）桃莉·海顿（Torey Hayden）著2016 年出版240 页ISBN：9787508088211
十五岁的凯文从不说话，对外界充满恐惧，他总是躲在桌子底下一声不吭，这是他为自己构建的牢笼。桃莉耐心地一点一点教他发声说话，教他摆脱一切恐惧，凯文终于从桌子底下爬了出来，开始正常地讲话，并逐渐不再恐惧外......
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
商务印书馆编译所编；陈承泽校订1919 年出版138 页ISBN：
讲述诉讼基本知识。结合当时施行的法规，介绍民、刑诉讼的区别，以及审级、管辖、上诉等程序。指导诉讼人参……
K.W.SCHAIE；S.L.WILLIS著；乐国安，韩威，周静译；乐国安审订；蔡明昌校订2007 年出版491 页ISBN：9571147482
