经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Allo...详情

经典好书《C现代编程》读书内容简介:限编程、测试驱动开发、重构、持续集成这些现代编程方法应用到C语言的嵌入式开发中去。即将服务器站点中的通用设计方法、工具的使用方法、开发方式等逐一“翻译”成为可以在C语言嵌入式开发过程中使用的方法。作者简介作者简介：...详情

经典好书《Intel汇编语言程序设计》读书内容简介:程序设计(第5版)》全面细致地讲述了汇编语言程序设计的各个方面。从微处理器体系结构、工作机制到指令集；从最基本的编译器链器的使用到高级过程、结构和宏的使用；从用纯汇编编写程序到用C／C++等最新编译器与汇编的混合接口编程；从16位实模式下BIOS、D...详情

经典好书《中国古文献学史简编》读书内容简介: 孙钦善，北京大学中文系教授，古典文献学专业博士生导师，北京大学古文献研究所所长，兼任全国高校古籍整理研究工作委员会委员，中华炎黄文化研究会理事。作者简介详情

经典好书《Java编程思想》读书内容简介:介：特色：1.适合初学者与专业人员的经典的面向对象的叙述方式；为更新的Java SE5/6的相关内容增加了新的示例和章节。2.测验框架显示程序输出。3.设计模式贯穿于众多示例中：适配器、桥接器、职责链、命令、装饰器、外观、工厂方法、享元、点名、数据传...详情

经典好书《长水粹编》读书内容简介:，上、下册分别为解放前、后所作。他逝世后，编者将他1982年后发表的主要论文编为《长水集续编》。本书就是从这两本论文集中精选出的在各方面和各时期有代表性的历史地理论文。作者简介谭其骧(1911―1992)，历史地理学家，原...详情

经典好书《走向近代化的北京城》读书内容简介:史年代北京市市政管理机构的演化、北京市的道路铺设与城市规化、北京市排放污水系统、北京市城市公共空间——公园建设、北京市供水系统、北京市电灯照明系统、北京市的交通等城市建设基本工程系统。研究了这些机构、系统兴起发展的内在因素、外部条件以及这些工程对北京...详情

经典好书《中国民间美术全集(11) 游艺 编.面具脸谱卷》读书内容简介: 作者简介详情

经典好书《心若向阳，无谓悲伤》读书内容简介:光，那一点也不丢人。别人的生活没有你想像的好，你的生活也没有自己以为的坏。你的伤痕甚至都不能比别人更独特。重要的是，生命中发生的每一件事情都自有意义，每一次的历经都应使我们变成更好的人，千万不要做一个白白吃过了上天给过的苦头之后却并不去...详情

经典好书《Java多线程编程核心技术》读书内容简介:解，首本全面介绍Java多线程编程技术的专著结合大量实例，全面讲解Java多线程编程中的并发访问、线程间通信、锁等最难突破的核心技术与应用实践Java多线程无处不在，如服务器、数据库、应用。多线程可以有效提升计算和处理效率...详情