当前位置：首页 > 名称
大约有579,368项符合查询结果项。（搜索耗时：0.7043秒）
为您推荐： title推荐系统 原理与实践 计算机科学丛书 title增强现实 原理与实践 计算机科学丛书 title操作系统 精髓与设计原理 计算机科学丛书 matlab simulink系统仿真 科学与工程计算技术丛书 title计算机安全 原理与实践 原书第4版 title云计算 概念技术与架构 计算机科学丛书
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
-
-
高等学校计算机科学与技术教材 数据库系统及应用基础：基于SQL SERVER 2000
陈洛资，陈昭平，陈劼怀主编；郁松，刘丽敏副主编2007 年出版378 页ISBN：7810829114本书由数据库系统原理、SQL Server 2000基础及基本操作和课程设计三部分组成，重点阐述了数据库系统的基本概念、基本原理和基本技术，概念清晰、深入浅出、前后呼应、适应性和可读性强。本书取材着重于被广泛...
-
生物地球化学循环 计算机交互式研究地球系统科学与全球变化
席明之（W.L.Chameides），珀杜（E.M.Perdue）著；张晶译2012 年出版204 页ISBN：9787040343403本书为研究全球变化及其对地球上生命的影响提供了基本的框架，是对全球变化进行综合全面检验的可行尝试。本书前面几章介绍了生物地球化学循环研究所必需的科学和数学基本原理，包括化学热力学和微分方程。其余...
-
-
信息与计算科学丛书 分数阶微分方程的有限差分方法
孙志忠，高广花著2015 年出版237 页ISBN：9787030454720本书力求对分数阶微分方程的差分方法做个简明介绍。本书分为6章。第1章介绍了4种分数阶导数的定义。第2章讨论求解时间分数阶慢扩散方程的有限差分方法。第3章研究时间分数阶波方程的有限差分方法。第4章考...
-
-
-
-
学科分类
出版时间