古天龙著2005 年出版265 页ISBN：704016079X
形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。本书对软件开发中的形...
（日）中谷彰宏著；王艳华译2005 年出版168 页ISBN：7801703774
本书从一个非常新颖的角度论述了遭人白眼的意义，讲述了正确的遭人白眼的方法，说明了遭人白眼的人将改变这个时代，遭人白眼的人会成功，并将实现自己的梦想。...
（美）布雷斯托，（法）科尔著2012 年出版149 页ISBN：9787515503363
本书根据潜能开发大师科劳德·M·布雷斯托和自我暗示创始人艾米·科尔的经典作品编译而成，主要阐释了自我暗示的基本原理，即通过语言、想象、重复等方式，对自己的想法和感受产生影响，进而改变自己的行为。...
鹿守君著2014 年出版153 页ISBN：9787513632584
本书首次提出“趋势强度”的分析理念，创立了“推动浪分析法”和“气势强度分析法”，能够提前判断未来趋势的“方向及强度”。气势理论成功地破译了巴菲特的价值计算公式，并预以简化，创立了适于证券投资的“证券...
(英)麦可·乔治(Mike George)著2009 年出版157 页ISBN：9787539138886
本书是一部心理健康类读物，图文并重，版式简洁雅致。从心灵探索和自我管理两方面的专业分析，向读者一一介绍平静内心的经验和技巧，在每一小节的理论分析后面，分别配置了25种协助控制情绪的方法。25种方法由浅入深...
（美）Susanne C. Brenner，L. Ridgway Scott著2010 年出版400 页ISBN：9787510027437
有限元法被广泛用于工程设计和工程分析。本书是Springer出版的《应用数学教材》丛书之15。全书分成15 章，极大地丰富了第1版的内容，增加了加性Schwarz预条件和自适应格，书的末尾详细讲述了差分算子，精辟阐释了S...
