（美）霍尼娜著；（美）德舍尔，（美）德卡洛，（美）洛克里奇绘；赵妍译2012 年出版140 页ISBN：7535366708
本套书以蝙蝠侠为主角的经典短篇小说集，情节惊险跌宕，既有扣人心弦的推理破案，又有英勇的战斗和奇幻的冒险。书中彩插精美，内容精彩是孩子课外阅读娱乐的首选。...
（德）福瑞编文；（德）苟琛·比克绘；叶子译2009 年出版28 页ISBN：9787508388137
精灵艾玛有很多美好的愿望，她想要一头小马，金色的翅膀还要一座宫殿……小精灵还有很多愿望，但是她最想要的是一把魔杖，这样她就可以很容易的实现其他所有的愿望。有一天艾玛最好的朋友艾宫失踪了，艾玛焦急地找她...
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
行文凯编著2008 年出版211 页ISBN：9787302183198
本书从最一般的系统出发，详细介绍包括电子系统在内的汽车发动机控制系统原理、结构和故障诊断。
林登阁，王有凯主编2010 年出版165 页ISBN：9787564604738
本书是高等学校“十一五”土木工程（矿井建设）专业规划教材，是根据普通高等学校土木工程（矿井建设）专业教学大纲编写而成的。本书共分八章，包括岩石平巷、井底车场与硐室、斜井工程、采区巷道、立井井筒设计、立.....
黄瑾明，宋宁，黄凯编著2010 年出版300 页ISBN：9787536360235
本书是壮医针灸史上的第一次全面总结，介绍了壮医针灸的作用原理、操作方法、应用原则，功用优点以及适应症禁忌症，常用穴位及其用穴原则等，并通过各科常见疾病对壮医针灸疗法的具体临床应用进行介绍，融会了全国名...
杨宗凯主编2007 年出版209 页ISBN：7535340180
本书展示了近100年信息科学方面发生的30项大的事件。
莫彭龄，刘玉凯主编2015 年出版201 页ISBN：9787100112734
全书对100条成语进行了全方位的描述和解码。每条成语都有一个小标题，具体内容有“主体解码”“辅助解码”两部分。“主体解码”部分主要讲述相关成语的流变发展，成语中蕴含的民俗习惯、文化心理、趣味轶事及...
郑培凯主编2009 年出版257 页ISBN：9787563379699
中国是茶的故乡，有着源远流长的饮茶历史。本书中，作者结合自己的专业所长，就茶的历史、文化、科研以及产业发展，撰写了专业而又通俗的文章，既耐读又易读。...
