大约有40,000项符合查询结果项。（搜索耗时：0.0654秒）
为您推荐： 数理逻辑和算法理论 计算机科学与人工智能的数学基础 数理逻辑和算法理论 计算机视觉基础 智能科学与技术丛书 机器学习的数学理论 智能科学与技术丛书 计算机地图制图 原理与算法基础 工艺规划与车间调度的智能算法
-
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
-
-
-
计算机图形学的基础算法
刘勇奎著2007 年出版188 页ISBN：7030183118本书是作者总结10多年来对计算机图形学基础算法研究成果的一部专著。书中内容的90%为作者已发表或尚未发表的研究成果。主要内容包括：图形的生成、裁剪、六角网格上的图形算法、三维图形算法及与图形相关的...
-
计算机地图制图原理与算法基础
闫浩文等编著2007 年出版264 页ISBN：7030184092本书系统总结、整理了国内外计算机地图制图原理与算法方面的成果，并进行了归纳分类、比较分析和提炼。全书以计算机地图制图的基本原理和算法为基础，详细阐述了目前计算机地图制图的现状、数据模型的延伸、最...
-
框架结构和基础联合分析的近似算法
杨炳麟著2007 年出版160 页ISBN：9787508449807本书详细介绍了框架结构的刚度系数的解析形式和主要参数，论述了框架结构和基础梁联合分析的原理和新的近似算法。新的方法简明扼要且比较精确。本书兼顾理论和实用，在公式推导或联合分析方面都有详细的算例，可...
-
科学发展观与构建和谐社会的理论与实践
罗晓梅，黄远固主编2007 年出版230 页ISBN：7562442916本书从理论和实践的角度对科学发展观及和谐社会的构建做了深入的研究，既有理论深度又贴近社会现实，论述有理、有据，深入浅出，具有很强的针对性。书中列举了大量的统计数据、参考了许多权威文献，论述充分、实事求...
-
宏观金融风险形成的微观机理研究：数理模型、计量方法与智能模拟
张屹山等著2007 年出版438 页ISBN：9787505868168本书主要介绍了货币市场风险、资本市场风险、外汇风险、金融风险的交互作用与微观机理，并对我国经济转轨时期的金融风险进行实证研究。
-
数理逻辑基础与粒计算
闫林著2007 年出版259 页ISBN：9787030198280粒计算是近年来计算机科学许多领域关注和研究的热点，对它的研究思路和处理的方法就是把大的问题分解为小的问题，把整体的概念分解为细小的概念，把复杂的处理分解为简单的处理，总之就是把整体分解为粒。然后再通...