(德)福瑞编文;(德)苟琛·比克绘;叶子译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 + +应用程序等内容。全书结构清楚、易于理解,无论是初学者还是已经有了...