面向计算机科学的数理逻辑相关电子书下载

刘军著2009 年出版259 页ISBN：9787040258370

本书是一本非常优秀的介绍蒙特卡罗方法教材，系统全面地介绍了蒙特卡罗方法的基本原理、序贯蒙特卡罗理论、行为中的序贯蒙特卡罗方法、Metropolis算法及其推广、Gibbs抽样、一般条件抽样等。此外，本书还详细...

（美）冈萨雷斯等著；阮秋琦译2013 年出版580 页ISBN：9787302307457

本书介绍完MATLAB函数和编程基础知识之后，本书致力于图像处理的主流领域论述，涵盖的主要领域包括亮度变换、线性和非线性空间滤波、频域滤波、图像复原和配准、彩色图像处理、小波图像数据压缩、数学形态学图...

童晶，丁海军，金永霞，周小芹编著2017 年出版237 页ISBN：9787302472407

本书把开发游戏案例应用于C语言教学，培养学生对编程的兴趣。为了达到这一目的，课程应用C语言的语法知识，带领同学从无到有地开发游戏，通过游戏案例将已学的主要语法知识和常用算法串起来。在设计的过程中尽量站...

（美）马诺，（美）凯姆著2012 年出版478 页ISBN：9787111373117

本书组织良好，内容简洁、全面，从当代工程观点来进行表述。书中以清晰的解释和逐步延伸的实例来帮助读者理解内容，实例涵盖了从简单的组合应用到建立在RISC内核基础上的CISC结构。它全面覆盖了传统的内容，更加重...

陈以农主编；陈文智副主编2013 年出版184 页ISBN：9787111435884

本教材是为大学本科计算机科学和计算机工程专业编写的入门教材，也适用于机械、电气、电子、测控，自动化等专业。教材以培养学生对工程专业的兴趣为主导，培养问题解决能力为目标，内容丰富有趣，从具体到抽象，简单.....

（美）Matt Bishop著；王立斌，黄征等译2005 年出版712 页ISBN：7121007800

本书系统地介绍了计算机安全的基本原理与应用技术。全书主要包括四大部分。安全策略模型部分详细地讨论多种不同安全策略模型的原理，包括Bell-LaPadula模型、Biba模型、中国墙模型、Clark-Wilson模型等。密...

陈文，傅卓佳，魏星著2014 年出版203 页ISBN：9787030378491

本书系统地介绍了科学与工程计算中径向基函数方法的基本理论和相关应用，包含了近年来国内外和作者的最新研究成果。全书共分九章。分别介绍了径向基函数的物理背景、各类径向基函数，以及通过边界型径向基函数...

（英）席瓦尔著2014 年出版368 页ISBN：9787562840367

本书译自英国皇家化学学会出版的《Molecular Logic-based Computation》，由中国科学院院士田禾教授进行主要翻译工作。本书是分子逻辑计算领域的权威书，涵盖了有关领域的科学研究者最前沿的学术研究成果。同...

张丰信著2011 年出版157 页ISBN：9787121132520

本书介绍了N维超立方体模型的形体结构基本原理、测距法描述整数之间关系及其在计算机科学中的应用。全书共分9章，第1章概述本书的主要内容；第2章论述四～六维超立方体模型和一字形N维超立方体形体组合原理；第3章...

张兴元，王元元，宋丽华编著2011 年出版270 页ISBN：9787030324108

本书主要介绍、阐释了现代社会常见、实用的公务文书、事务文书、经济文书、法律文书、学术文书、书信文书、礼仪民俗文书、申论等各文体的概念特点、分类情况、使用范围、篇章结构及写作方法、写作要求，并精...