经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、...详情

经典好书《数据库管理系统原理与设计》读书内容简介: his B.Tech. from IIT Madras in 1983 and his Ph.D. from the University of Texas at Austin in 1987. He was a member of the Dat...详情

经典好书《期货交易技术分析》读书内容简介:chwager是美国期货界技术分析派重要的代表人物之一，他提出的理论与方法受到越来越多的业内人士推崇。本书共分五篇二十二章，全面阐述了期货交易中的图表分析方法与策略，以通俗易懂的语言描绘了期货技术分析中的重要原理和技巧，如...详情

经典好书《股市趋势技术分析》读书内容简介:藏版)》内容简介：作为经典中的经典、证券投资的最佳入门书、股市图表分析的权威之作，《股市趋势技术分析》至今仍牢牢处于无法超越的地位。在赢得了投资者的无数口碑之后，它进行了最新一次修订，这就是第9版。《股市趋势技术分析(最新修订原书第9版...详情

经典好书《彼得兔绘本全集》读书内容简介:全部作品，包括《小兔彼得的故事》《小松鼠纳特金的故事》《格罗斯特的裁缝》等二十一篇童话和《阿普利·达普利的童谣》《塞茜莉·琶丝莉的童谣》两本童谣集，同时还附送童谣《三只小老鼠》《小兔子的圣诞晚会》等，这是作者生前未能出版的作品。波特创作的童话和童谣各...详情

经典好书《网游之演技一流（上、下）》读书内容简介: 不存在未出版的错误条目作者简介详情

经典好书《中国省域生态文明建设评价报告》读书内容简介:实推进生态文明建设，需要相应的评价体系，以了解现状、明确目标、引导政策。《生态文明绿皮书:中国省域生态文明建设评价报告(ECI2012)》（ECI2012）采用国家发布的权威数据，使用生态文明建设评价指标体系ECCI2012，从生态活力、环境质量、社...详情

经典好书《Axure RP 6原型设计精髓》读书内容简介:：即使你不懂任何编程语言，无法控制项目管理、预算和进展计划，也可以通过《Axure RP 6原型设计精髓》掌握Axure，让你的设计更具创造力和高效。《Axure RP 6原型设计精髓》先介绍Axure的界面、术语、功能，然后以一个中型...详情

经典好书《知的生産の技術》读书内容简介:はあまり教えてくれない。メモのとり方、カードの利用法、原稿の書き方など基本的技術の訓練不足が研究能力の低下をもたらすと考える著者は、長年にわたる模索の体験と共同討論の中から確信をえて、創造的な知的生産を行なうための実践的技術についての提案を試みる。<...详情

经典好书《世界现代设计图史》读书内容简介:兴趣的人来说，是一本系统性、资料性和总结性都很强的参考书。我们常常无拘无束地谈论“设计史”，但我们对这门涉及范围甚广的学科真正了解多少？重要的风格和流派有哪些？每个风格的重要特征是什么？它们的代表人物又是谁？《世界现代设计图史》《世界现代设计图史》通...详情