当前位置：首页 > 名称
大约有20,000项符合查询结果项。（搜索耗时：0.0255秒）
为您推荐： 网络协议的形式化分析与设计 列车运行安全行为建模与形式化技术研究 网络协议 分析 设计与仿真 安全协议与形式化方法国科大 维修性设计分析与验证 保证正版 网络安全协议 原理 结构与应用
-
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
-
-
-
-
句式语义的形式分析与计算
吴平著2007 年出版216 页ISBN：9787561918180本书运用形式语言学的理论对汉语句式做出专门的分析和研究，并且紧密结合汉语的特点提出语义分析过程中所需遵循的语义类的重设原则和逻辑谓词原则。本书进一步尝试把对句式所做的形式描写提升到面向计算机语...
-
词语与世界：社会学分析形式的探索
（英）迈克尔·马尔凯著2007 年出版342 页ISBN：7100050790本书主要研究探讨科学词语以及科学解释的问题。作为书中探讨的重点，作者较深入地探讨了科学中的重点和创新问题。
-
-
-
-
