大约有70项符合查询结果项。（搜索耗时：0.0221秒）
为您推荐： 高阶思维培养有道 高岛易断 易中天 梅花易数 素描易画一本通 梅花心易
-
-
-
-
高阶逻辑辅助证明系统
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
新概念数独 反向数独 高阶
（英）加里斯·摩尔著；苏伟译2013 年出版180 页ISBN：9787530462775反向数独，是数独游戏玩家进一步挑战自己的理想选择。这种恶魔级的智力游戏让众多粉丝又爱又恨。本书包含100多个全新的反向数独谜题，按照逐渐增大的难度分级排列。书中还有完整的入门指引、解题技巧和参考答...
-
高阶洛伦兹-高斯光束的研究
周国泉著2013 年出版147 页ISBN：9787030387912本书系统全面地揭示和掌握了高阶洛伦兹高斯光束的特性，表明高阶洛伦兹高斯光束较厄米高斯光束更合适表征高功率半导体激光器所产生的高阶模大角度激光束。系统全面地揭示和掌握了高阶洛伦兹-高斯光束的特性，...
-
新概念数独 数图 高阶
（英）加里斯·摩尔著；苏伟译2013 年出版219 页ISBN：9787530462751数图起源于18世纪，但是直到今天，还是最有挑战性的智力游戏形式之一。本书包含150个原创的数图谜集，按照逐渐加大的难度分级排列，并且本书开头有游戏规则介绍和解题指导，最后附录了所有题目的答案。本书作者为英...
-
风景园林规划与设计从入门到高阶实训
陶联侦，安旭著2013 年出版293 页ISBN：9787307108318本书分为三个部分：基础篇、专业篇、提高篇，系统地介绍风景园林规划与设计和城市绿地系统分类里几个常用绿地类型的实验及案例，把同龄学生的相关优秀实验成果也顺道进行举例，以方便读者进行比较。...
-
新概念数独 数谜 高阶
（英）加里斯·摩尔著；苏伟译2013 年出版181 页ISBN：9787530462737数谜是一种源自日本的逻辑推理游戏，也是继数独之后风靡世界的第二种日本智力游戏。这种独特的游戏既需用到数字常识，又涉及逻辑知识，形式还有点儿类似于纵横字谜。本书提供了完整的入门指导，结合实例讲解了数谜...
-
