（美）霍尼娜著；（美）德舍尔，（美）德卡洛，（美）洛克里奇绘；赵妍译2012 年出版140 页ISBN：7535366708
本套书以蝙蝠侠为主角的经典短篇小说集，情节惊险跌宕，既有扣人心弦的推理破案，又有英勇的战斗和奇幻的冒险。书中彩插精美，内容精彩是孩子课外阅读娱乐的首选。...
（德）福瑞编文；（德）苟琛·比克绘；叶子译2009 年出版28 页ISBN：9787508388137
精灵艾玛有很多美好的愿望，她想要一头小马，金色的翅膀还要一座宫殿……小精灵还有很多愿望，但是她最想要的是一把魔杖，这样她就可以很容易的实现其他所有的愿望。有一天艾玛最好的朋友艾宫失踪了，艾玛焦急地找她...
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
魏汪洋，张建林，郑玉晖等编著2012 年出版477 页ISBN：9787111373667
本书涵盖了ASP.NET网页设计所需用到的相关知识，包括：C#语言的基础、网页控件的使用、ADO.NET数据库操作、数据控件与绑定操作等。
魏战线编著2001 年出版320 页ISBN：7560514561
本书分为六章，行列式，矩阵，向量和线性方程组，特征值和特征向量，实二次型。每章按照基本要求，基本内容提要，重点与难点等部门组成。...
樊泉桂，魏铁铮等编著2001 年出版293 页ISBN：750830571X
大型火电厂生产技术人员培训系列教材:本书以300MW和600MW级燃煤锅炉为主，全面、系统地阐述了电站锅炉的主要系统、工作原理及运行特征。
魏水利，任秋会主编2007 年出版225 页ISBN：9787560420226
本书分为八个单元。为当今社会常识，从多方位培养学生学习英语的兴趣，提高英语能力。
章年卿，魏佐国，叶新平主编2010 年出版355 页ISBN：9787811327465
本书切合大学生在校学习、求职就业的需要，介绍了行政公文、事务文书、财经文书、法律文书、科技文书、传播文书、礼仪文书、职业文书、应用文宣讲文书等实用文书的写作和基础知识。本书可作为高校应用写作课...
