经典好书《中国古代的王权与天下秩序(增订本)》读书内容简介:点づぅ》2003年由日本校仓害房出版,是渡辺信一郎先生的第四部个人专着。在日本的中国古代史学界,渡辺先生以其鲜明的理论关怀和宏阔的研究视野而为人瞩目。译者在对于中国古代史的研习过程中,受惠于先生论着之处甚多,并深深折服于“渡迈史学”的独特魅力。只是中...详情
交互式定理证明与程序开发 书籍
经典好书《交互式定理证明与程序开发》读书内容简介:算的艺术》的主要目标是从实践的角度来理解Coq系统及其基本理论,即归纳构造演算。这《交互式定理证明与程序开发:Coq归纳构造演算的艺术》给出了大量的例子,所有例子都町以在计算机上执行。从《交互式定理证明与程序开发:Coq归纳构造演算的艺术》配套网站可...详情
经典好书《Scala程序设计(第2版)》读书内容简介:最新语言特性,新添了模式匹配、推导式以及高级函数式编程等知识。通过本书,读者还能学会如何使用Scala命令行工具、第三方工具、库以及适用于编辑器和IDE的Scala相关插件。本书既适合Scala初学者入门,也适合经验丰富的Scala开发者进阶参考。<...详情
经典好书《当代中国的社会治理与政治秩序》读书内容简介:社会治理来说,如何在社会发展与政治秩序之间保持合理平衡和良性互动,始终是一个难题。一方面,由于复杂的历史原因和国内外形势,整个社会的发展高度依赖于国家的强力领导,并确实取得了不凡的成就,但另一方面,快速而卓有成效的社会发展却反过来对国家的强力领导和既...详情
Scala程序设计 书籍
经典好书《Scala程序设计》读书内容简介:言,用来以简明、优雅、类型安全的方式表示常见的编程模式。它无缝集成了面向对象语言和函数式语言的特性,可以大大提高JAVA程序员的编程效率。Twitter、SAP等知名企业已经开始在一些应用里使用Scala,很多新的程序员也开始学习它。本...详情
程序设计抽象思想 书籍
经典好书《程序设计抽象思想》读书内容简介: 本书全面介绍了数据结构的基础内容。介绍了多个库包,可用于简化编程流程;详细讨论了递归编程的用法,包括大量难度各异的编程示例和练习。作者简介详情
经典好书《程序化广告 个性化精准投放实用手册》读书内容简介: 作者简介详情
经典好书《ACM国际大学生程序设计竞赛》读书内容简介:内容简介:ACM国际大学生程序设计竞赛(ACM-ICPC)是国际上公认的水平最高、规模最大、影响最深的计算机专业竞赛,目前全球参与人数达20多万。《ACM国际大学生程序设计竞赛:算法与实现》作者将16年的教练经验与积累撰写成本系列丛书,全面、深入而系...详情
经典好书《量子物理学中的常用算法与程序》读书内容简介:述了计算机物理的基础知识,并给出量子物理学中常用算法及相应的FORTRAN程序。全书申13章组成,主要包括FORTRAN算法语言简介,代数公式,常用特殊函数,3i、6j和9j符号,一元方程,线性代数,函数插值与微商,常微分方程,数值积分,本征问题,递...详情
自由秩序原理 书籍
经典好书《自由秩序原理》读书内容简介:自由的概念出发,探讨了自由同社会伦理的多维度的关系,从而论证了自由在社会实践当中的价值所在。自由同法律的关系问题是作者给予深切关注的问题。由此,作者对于宪政制度有着很中肯的评价。在本书的第三部分,作者更就福利国家的自由问题进行了有益的探讨。本书曾经被...详情