（德）福瑞编文；（德）苟琛·比克绘；叶子译2009 年出版28 页ISBN：9787508388137
精灵艾玛有很多美好的愿望，她想要一头小马，金色的翅膀还要一座宫殿……小精灵还有很多愿望，但是她最想要的是一把魔杖，这样她就可以很容易的实现其他所有的愿望。有一天艾玛最好的朋友艾宫失踪了，艾玛焦急地找她...
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
（美）大卫·J.科利斯（David J. Collis），（美）辛西娅·A.蒙哥马利（Cynthia A. Montgomery）著；王永贵，杨永恒译2000 年出版564 页ISBN：781044624X
一直以来战略领域都被划分为两个不太相关的业务范围：一是经营战略，它以在行业内获得竞争收益为核心；二是管理战略它以全面管理企业自身为核心。本书的宗旨就是试图在这两者之间架起桥梁，使企业战略方针系统而统...
（英）劳里·J.穆林著；李丽，廖羽，闫甜译2011 年出版1019 页ISBN：9787509613771
本书作为一本市场领先的教材，引导学生对组织行为学进行全面的理解，并将其与有效的管理学结合起来。这是一个无价的资源，对管理研究进行了清晰而且深刻的介绍，可以作为之后研究的一个综合参考点。...
（美）Neil J. Anderson著；王立非导读 相德宝，高晓妹注释2003 年出版172 页ISBN：7560033962
本书是美国著名英语阅读教学专家尼尔·安德森教授编写的积极阅读教程丛书主教材的第一册。本书特色鲜明，自始至终倡导了一种全新的外语阅读学习理念——积极阅读，即激活背景知识、培养词汇知识、传授阅读技巧...
（美）（J.瓦尔肯巴赫）John Walkenbach著；刘南译1997 年出版194 页ISBN：7505331094
（美）（J.利伯蒂）（Jesse Liberty）著；路明等译1997 年出版339 页ISBN：711106013X
本书是一本自学C + +编程的教程，分为24个课时，每课时为一章。书中介绍一了有关I/O处理、循环和数组、面向对象的程序设计、模块和创建C + +应用程序等内容。全书结构清楚、易于理解，无论是初学者还是已经有了...
