当前位置:首页 > 名称
大约有20,000项符合查询结果项。(搜索耗时:0.0195秒)
为您推荐: 网络协议的形式化分析与设计 列车运行安全行为建模与形式化技术研究 网络协议 分析 设计与仿真 安全协议与形式化方法国科大 维修性设计分析与验证 保证正版 网络安全协议 原理 结构与应用
-
句式语义的形式分析与计算
吴平著2007 年出版216 页ISBN:9787561918180本书运用形式语言学的理论对汉语句式做出专门的分析和研究,并且紧密结合汉语的特点提出语义分析过程中所需遵循的语义类的重设原则和逻辑谓词原则。本书进一步尝试把对句式所做的形式描写提升到面向计算机语...
-
意义的形式 建模系统理论与符号学分析
(美)托马斯·A.西比奥克(THOMASA.SEBEOK),(加)马塞尔·德尼西(MARCELDANESI)著;余红兵译2016 年出版220 页ISBN:9787561493588本书所提供的是一种从生物符号学领域发展出来的方法论框架,它将符号现象作为建模的过程来研究。作者为人们呈现了一个将符号学与生物学相结合的描述体系,可以用来研究不同物种所体现的“建模本能”。本书以通...
-
-
-
-
-
-
合同协议签约要领与范文
岳海翔主编2009 年出版412 页ISBN:9787802501027本书简要介绍各种合同文本的写作,包括每种合同协议的含义、写作要求、结构特点及写作技巧等,同时收入大量例文供读者学习参考。
-
-
语言测试与效度验证 基于证据的研究方法 英文版
(英)韦尔著2010 年出版301 页ISBN:9787513502887本书作者Weir教授是世界著名的语言测试专家,撰写了很多在语言测试方面影响较大的著作。本书是第一部全面、系统地阐述语言测试效度的专著。书中吸收了效度研究的最新成果,提出了基于证据的效度验证的理论框架...
