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

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

经典好书《现代体系结构上的UNIX系统：内核程序员的对称多处理和缓存技术》读书内容简介:对称多处理和缓存技术(修订版)》首先回顾了与全书其他内容切实相关的UNIX系统内幕。回顾的目的是增进读者对UNIX操作系统概念的了解，并且定义随后使用的术语。《现代体系结构上的UNIX系统：内核程序员的对称多处理和缓存技术(修订版)》接下来的内容分为...详情

经典好书《机械式交易系统：原理、构建与实战》读书内容简介:惑不解的最为综合和权威的理论——创造性和机械交易系统。无论读者是否具有商品期货交易经验，都将从中受益匪浅。本书讲解了：·为什么投机性的交易无法持续。·为什么交易亏损的比率如此之高。·为什么一定要遵循完全机械的...详情

经典好书《对象-关系数据库管理系统原理与实现》读书内容简介:理系统Angel为背景，在深入分析国内外相关研究成果的基础上，针对对象-关系这种目前应用最为广泛、最为重要的数据库管理系统，论述了对象-关系数据库系统的原理与实现技术。作为国内第一本全面、系统而深入地论述对象-关系数据库管理系统设计思想与实现技术的专...详情

经典好书《计算机系统：系统架构与操作系统的高度集成》读书内容简介:n，拥有威斯康星大学麦迪逊分校计算机科学专业博士学位。现在是佐治亚理工学院计算机系教授，STAR Center & Korean Programs中心主任。主要研究兴趣是体系结构设计、程序设计和并行分布式系统分析。曾获得NSF授予的美国...详情

经典好书《左联筹建与组织系统考论》读书内容简介:组织系统。对于左联筹建，集中探讨左联筹建的宣传动因、左联与鲁迅之结盟如何实现、左联成立前中国共产党的文化组织实践等内容。对于左联组织系统，集中探讨左联的筹备机关、领导机关和左联组织机构自身的功能、形态及演变。本书一方面对彼此矛盾重重的左联回忆资料详加...详情

经典好书《大数据系统构建》读书内容简介:，传统的数据库系统显然已无法满足海量数据的管理需求。 作为一种新的处理模式，大数据系统应运而生，它使用多台机器并行工作，能够对海量数据进行存储、处理、分析，进而帮助用户从中提取对优化流程、实现高增长率的有用信息，做更为精准有效的决策。 但不可忽略的是...详情

经典好书《构建量化动量选股系统的实用指南》读书内容简介:资综合指南。☆ 动量选股算法已被证明能够击败市场，造就了华尔街无数个最赚钱的投资者。☆ 一个经过时间考验和严谨的学术论证的系统性投资策略，帮助价值投资者发现有依据的动量选股信号，丰富、平衡、优化自己的投资组合，获得超额收益...详情

经典好书《数据库管理系统原理与设计》读书内容简介: 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...详情