当前位置：首页 > 名称
大约有6,000项符合查询结果项。（搜索耗时：0.0166秒）
为您推荐： 正版机器学习周志华著人工智能及其应用零基础入门书电脑编程程序设计数据分析神经网络与深度 机器证明 几何定理机器证明的案例 几何定理机器证明的基本原理 python大数据分析与机器学习商业案例实战 并联机器人刚体动力学分析
-
-
高阶逻辑辅助证明系统
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
刑事程序性证明理论系统研究
石浩旭著2013 年出版227 页ISBN：9787513024686长期以来，我国的刑事司法中均存在“重实体、轻程序”的倾向，使我们制度性地忽视了程序在阻却权力违法方面的功能及相关的制度建构。本书运用经济学与社会学的分析方法研究了刑事程序性证明的发生机制，并运用类...
-
系统分析与设计基础 第5版 影印版
（美）瓦拉西切，（美）乔治，（症状）霍弗著2013 年出版417 页ISBN：9787302312079本书为读者展现了系统分析员在组织机构的信息系统开发工作中要掌握的概念、方法和技术。本书以系统开发生命周期模型为主线，讨论了在信息系统的规划、分析、设计、实现和维护各阶段系统分析员的角色、交付的...
-
-
-
-
-
超声引导机器人系统实时影像处理与导航定位技术
么娆著2013 年出版157 页ISBN：9787118091243本书主要从图像处理和导航定位两方面，论述了建立一套基于超声图像引导的计算机与机器人自动化手术导航控制系统的原理与方法。其中：图像处理的研究与论述主要从超声图像去噪、目标区域定位跟踪及目标的自动分...
-
多机器鱼协作仿真系统
谢广明，李淑琴，何宸光编著2013 年出版127 页ISBN：9787566106117多机器鱼协作仿真系统是中国素质体育机器人运动会水中专项2D仿真组竞赛项目所指定的软件平台。本书全面系统地介绍了多机器鱼协作仿真系统的设计模型，实现原理以及使用方法等问题。全书共6章。第1章绪论；第2...
学科分类