采矿学 第1卷

（苏联）尔·德·舍维亚科夫院士著；中国矿业学院编译室译1952 年出版172 页ISBN：

飞牛袭击之谜

（德）于尔根·班舍鲁斯著；（德）拉尔夫·布茨科夫绘；徐芊芊，齐薇译2016 年出版207 页ISBN：9787550015234

本书是德国经典儿童侦探类小说系列“克瓦特探案集”的第七集。小说通过少年克瓦特破解一个个或有趣或惊险或古怪的谜案故事，表现了一位机智勇敢又顽强的少年形象。本集包括“飞牛袭击之谜”和“魔球”两则故...

威科夫理论大全集

（美）查理德·D.威科夫著；康民译2016 年出版417 页ISBN：7568015516

倒霉的侦探和小偷

（德）于尔根·班舍鲁斯著；（德）拉尔夫·布茨科夫绘；宋宇，徐芊芊译2016 年出版163 页ISBN：9787550015531

《倒霉的侦探和小偷》是德国经典儿童侦探类小说系列“克瓦特探案集”的第十一集。小说通过少年克瓦特破解一个个或有趣或惊险或古怪的谜案故事，表现了一位机智勇敢又顽强的少年形象。本集包括“倒霉的侦探和...

苏联当代戏剧选 十字路口

（苏）罗辛等著赵鼎真译（苏）B·茨维特科夫等著1988 年出版156 页ISBN：7532703711

飞行器设计的工艺问题

（苏）依·特·别里亚科夫 尤·德·巴里索夫1982 年出版0 页ISBN：

袖口手记 自传体小说

（俄）米·布尔加科夫著；理然译；（俄）列昂尼德·列昂诺夫著；王燎译1992 年出版313 页ISBN：7536015119

校园里的粉红鬼

（德）于尔根·班舍鲁斯著；（德）拉尔夫·布茨科夫绘；严莹译2016 年出版149 页ISBN：9787550015241

本书是德国经典儿童侦探类小说系列“克瓦特探案集”的第八集。小说通过少年克瓦特破解一个个或有趣或惊险或古怪的谜案故事，表现了一位机智勇敢又顽强的少年形象。本集包括“校园里的粉红鬼”和“下水道里的...

复仇的巧克力蛋糕

（德）于尔根·班舍鲁斯著；（德）拉尔夫·布茨科夫绘；刘景姝，徐芊芊译2016 年出版161 页ISBN：9787550015548

《复仇的巧克力蛋糕》是德国经典儿童侦探类小说系列“克瓦特探案集”的第十集。小说通过少年克瓦特破解一个个或有趣或惊险或古怪的谜案故事，表现了一位机智勇敢又顽强的少年形象。本集包括“剧院怪影”和“...

高阶逻辑辅助证明系统

（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631

本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...