（美）霍尼娜著；（美）德舍尔，（美）德卡洛，（美）洛克里奇绘；赵妍译2012 年出版140 页ISBN：7535366708
本套书以蝙蝠侠为主角的经典短篇小说集，情节惊险跌宕，既有扣人心弦的推理破案，又有英勇的战斗和奇幻的冒险。书中彩插精美，内容精彩是孩子课外阅读娱乐的首选。...
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
林瑞明著；吕美女主编1993 年出版460 页ISBN：9579027943
附录:1.台湾新文学运动史研究新段阶。2.初出一览表。
吕丽娜著；北京华视百年文化发展有限公司绘2011 年出版94 页ISBN：9787539750149
本书选取当代著名儿童文学作家吕丽娜的原创优秀作品，所选童话故事充满童趣、富于想象。采用文图结合的编排方式，文字采用适合幼儿及小学生阅读的大字号，配以风格多样的精美插图，美文美图，集文学性、艺术性、趣味...
吴嘉敏主编；刘晓鸣，吕建辉，唐学祥副主编1994 年出版650 页ISBN：7543904314
收录1991年出版的、报道化学化工及相关学种的期刊、学报、文献435种， 17720篇.
