经典好书《21世纪语言学研究前瞻--计算机语言学的基础及应用研究》读书内容简介: 作者简介详情

经典好书《自然语言计算机形式分析的理论与方法(精)/当代科学技术基础理论与前沿问题研究丛书》读书内容简介:学和数学的一个交叉研究领域，是自然语言计算机处理的关键。自然语言是信息主要的负荷者，在当今信息网络时代，计算机已经日益普及，普通计算机用户可以使用的语言资源正以惊人的速度飞快增长。互联网主要是由自然语言构成的，它已经成为了极为丰富的语言信息资源；移动...详情

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

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

经典好书《药理学实验与指导（第4版）（全国高等医药院校药学类专业第二轮实验双语教材）》读书内容简介: 作者简介详情

经典好书《计算机典型测控与串口通信开发软件应用实践》读书内容简介:根据计算机测控技术发展的新趋势，在对测控系统应用软件设计做全面介绍的基础上，以实例的方式，讲解了当前测控领域中典型的测控开发软件的具体应用。涉及的开发软件包括面向对象语言Visual Basic、监控组态软件KingView和虚拟仪器软件LabVIE...详情

经典好书《交互式计算机图形学》读书内容简介: 交互式计算机图形学：基于OpenGL的自顶向下方法，ISBN：9787302123903，作者：（美）思詹（angel, E.）著作者简介详情

经典好书《垃圾回收的算法与实现》读书内容简介:魔法，彻底揭开垃圾回收的秘密！★ 日本天才程序员兼Lisp黑客竹内郁雄审校本书前半介绍基本GC算法，包括标记-清除GC、引用计数、复制算法的GC、串行GC的算法、并发GC的算法等。后半介绍V8、Rubinius、Dalvi...详情

经典好书《操作系统(设计及实现第2版影印版)》读书内容简介:省理工学院加州大学伯克利分校获得学士与博士学位。现任荷兰阿姆斯特丹Vrije大学计算机教授并领导着一个计算机系统研究小组。到2005年1月卸任为止，他担任计算与成像高级学院院长一职已有12年。Tanenbaum过去的研究领域包括编译器、...详情

经典好书《算法Ⅰ~Ⅳ(C++实现):基础、数据结构、排序和搜索》读书内容简介:中的算法和数据结构进行表述，并向学生提供在实际应用中验证这种方法的手段。　　本书广泛地论述了与排序、搜索及相关应用有关的基本数据结构和算法。覆盖了数组、链表、串、树和其他基本数据结构，更多地强调抽象数据类型(ADT)、模块化程序设计、面...详情