北京师范大学数学科学学院主编；罗里波编著2012 年出版300 页ISBN：9787303136025
本书已于2011年1月27日正式签署合同。本书是为了给数学系和计算机科学系的本科生和研究生开设模型论课而写的，其主要内容是模型论的基本原理和它在计算机科学中的计算复杂度理论和机器证明等方面的应用。书...
孔青青，包凌，蒋颖编著2012 年出版449 页ISBN：9787509738689
近年来，随着信息技术和网络技术的发展，信息的生产、存储和传递方式发生了革命性的变化，数字资源以传统资源难以比拟的优势迅速成为信息资源的主体。与此同时，随着数字资源数量的不断增加，用户与信息资源之间的矛...
段欣，杨华主编2006 年出版129 页ISBN：7121020408
本书以《计算机应用与软件技术专业领域技能型紧缺人才培养指导方案》为依据，为《计算机操作与使用》系列教材配套的学习指导教材，是《计算机操作与使用》系列教材的补充和完善。本书通过补充相关知识、习题和...
R语言应用系列 数据科学中的并行计算 以R，C++和CUDA为例
（美）诺曼·马特洛夫；汪磊，寇强译2017 年出版313 页ISBN：9787560599588
本书的关注点在于并行数据结构、算法、软件工具及应用，是数据科学领域第一本着重于并行及其相关技术的图书。本书不仅包含了众多经典统计问题，也涵盖了数据科学中常见的时间序列、网络图模型等大量数据结构。...
中央电视台《农广天地》栏目编2009 年出版173 页ISBN：9787543938939
“农广天地”是中央农业广播电视学校在CCTV—7开办的农民科技教育与培训节目专栏，目的是向广大农村传播农业科技知识，推广农业实用技术，提高农民朋友的科技素质和生产技能。本丛书便是根据栏目内容整合而成。...
（美）贝赫鲁兹·佛罗赞著；刘艺，刘哲雨等译2015 年出版422 页ISBN：9787111511632
本书是大学计算机相关专业的基础课教材，涉及计算机科学的各个方面。本书着重讲解基本概念而不是数学模型和技术细节，通过大量的图表和演示范例讲解计算机科学的基础知识；每章后面的关键术语、小结和练习有助于...
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
邵振润，梁帝允主编2015 年出版503 页ISBN：9787511624154
该书共分为三部分：第一篇为杀虫剂科学使用指南，具体为杀虫剂作用机理；水稻害虫轮换用药防治；蔬菜害虫轮换用药防治；小麦害虫轮换用药防治；蔬菜害虫轮换用药防治；棉花害虫轮换用药防治；果蔬害虫轮换用药防治。......
