经典好书《交互式定理证明与程序开发》读书内容简介:算的艺术》的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这《交互式定理证明与程序开发：Coq归纳构造演算的艺术》给出了大量的例子，所有例子都町以在计算机上执行。从《交互式定理证明与程序开发：Coq归纳构造演算的艺术》配套网站可...详情

经典好书《微分方程、动力系统与混沌引论》读书内容简介: 作者简介详情

经典好书《与孩子一起学编程》读书内容简介:可以带着自己的孩子，跟随Sande父子组合在轻松的氛围中熟悉那些编程概念，如内存、循环、输入和输出、数据结构和图形用户界面等。这些知识一点儿也不高深，听起来备感亲切，书中言语幽默风趣而不失真义，让学习过程充满乐趣。细心的作者还配上了孩子们都喜欢的可爱...详情

经典好书《量子物理学中的常用算法与程序》读书内容简介:述了计算机物理的基础知识，并给出量子物理学中常用算法及相应的FORTRAN程序。全书申13章组成，主要包括FORTRAN算法语言简介，代数公式，常用特殊函数，3i、6j和9j符号，一元方程，线性代数，函数插值与微商，常微分方程，数值积分，本征问题，递...详情

经典好书《CUDA 编程：基础与实践》读书内容简介: 作者简介详情

经典好书《PHP与MySQL 5程序设计（第2版）》读书内容简介:是久负盛名的经典著作，以涵盖全面详实而著称，对主题的选取和组织从实用出发，在讲述知识之外还加入了作者自己的应用经验，并提供了密集的实战代码示例，充分体现了作者深厚的开发功力。书中对PHP的介绍是迄今为止最为全面的，除了基础知识外，还强调了PHP的面向...详情

经典好书《Linux命令、编辑器与Shell编程》读书内容简介:mes&Noble; 计算机畅销书！2. 知名Linux专家Mark Sobell 编写的这本书，为系统管理员、开发人员和高级用户提供了最需要的全面的深入指导，同时还是一本卓越的日常参考手册。3. 一本值得每一位Linux管...详情

经典好书《C程序设计题解与上机指导》读书内容简介:》一书而编写的参考书。内容包括：一、《C程序设计》习题和参考解答，包括了清华大学出版社出版的《C程序设计》（谭浩强编著一书中各章全部习题，约150题。对全部编程序题都给出了参考解答；二、上机指导，介绍了在不同计算机系统上运...详情

经典好书《海外并购交易全程实务指南与案例评析》读书内容简介:洋石油总公司法律部，任项日管理处处长，主要职能为集管理层对重大项目的决策提供法律支持，负责监管中海油集团国内外重大并购、重大投资、重大融资、资产剥离和处置、重大生产经营及建设项目的法律风险及为集团内重大、疑难、复杂法律问题提供指导、咨询工作。作者参与...详情

经典好书《金融方程式：数量金融的应用与未来》读书内容简介:着国际金融一体化和金融自由化浪潮的发展，金融创新达到了前所未有的高度，直接推动了金融衍生工具的爆炸性增长。科学理论的创新发展和信息技术的进步为数量金融学的发展提供了基础，市场规模的扩大和金融创新的深化催生了更多的风险管理需求，因此数量金融学作为金融领...详情