当前位置：首页 > 名称
大约有443,715项符合查询结果项。（搜索耗时：0.6645秒）
为您推荐： 网络安全 加密原理算法与协议 网络安全协议 原理 结构与应用 title tcp ip协议原理与应用 第5版 正版绩效考核与薪酬激励精细化设计必备全书企业家协议字典工具包电子版 详解http协议基础与go语言实现 数学猜想与证明
-
计算机常用算法与程序设计案例教程 第2版
杨克昌编著2015 年出版324 页ISBN：9787302382942本书遵循“精选案例，面向设计，深入浅出，注重能力培养”的要求，以“案例”形式实现“算法与程序设计”教学。本书精选枚举、递推、递归、回溯、动态规划、贪心算法与模拟等常用算法，精选各算法求解的典型案例，注.....
-
类电磁机制算法的研究与应用
高亮，张春江，李新宇著2017 年出版240 页ISBN：9787568034364本书主要介绍了一种新型的元启发式全局优化算法—类电磁机制（Electromagnetism—like Mechanism,EM）算法。首先针对EM算法的一些不足，对算法进行了改进，提出了多种改进EM算法，这些算法为后续的研究提供了指导；然...
-
-
-
高阶逻辑辅助证明系统
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
美丽中国视野下的可持续减贫与绿色崛起研究 以农村为例
梁君思著2015 年出版357 页ISBN：9787210068280本书以建设美丽中国为研究视角，通过对赣南农村地区贫困现状和生态困境的概述，在简要评述生态文明建设与农村可持续减贫的相互关系的基础上，探讨了建设美丽中国的正文、和谐、发展的生态价值取向，分析了现阶段影...
-
-
-
-
学科分类
出版时间