大约有2,626项符合查询结果项。（搜索耗时：0.0464秒）
为您推荐： 外代数与外微分 微分形式导论 代数拓扑中微分形式 可视化微分几何和形式 微分形式 微分形式入门
-
-
数字集成电路设计验证 量化评估、激励生成、形式化验证
李晓维，吕涛，李华伟，李光辉著2010 年出版411 页ISBN：9787030276094本书重点介绍过去五年内取得的相关研究成果，兼顾对国内外近期相关工作的扼要介绍。本书涉及数字集成电路模拟验证的覆盖量化评估和测试激励生成、形式化方法。主体内容包括量化评估、测试激励生成、形式验证...
-
形式语言及设计符号学
卢景同著2011 年出版184 页ISBN：9787111329749现代艺术设计的形式语言是从构成走向设计的桥梁，它利用形状、色彩、空间、材质等形式语汇通过形式语法，加上艺术的表现力，结合当代最新科技成果的应用，就形成了千变万化的形式语言，成为设计师设计作品的主要表现...
-
超句法表示结构的形式与功能 基于语料库的口语英语谈话单位研究
（德）马克基著2012 年出版163 页ISBN：9787510040818本书根据真实的预料数据，从功能的视角来研究韵律和句法之间的相互关系。研究结果表明，使用韵律和句法之间的相互作用，可以更有效地对语言信息进行结构化的描述。本书的研究应用了语料库语言学的方法来分析谈话...
-
新形式新用法成语词典
陈璧耀编著2012 年出版235 页ISBN：9787532637553本书稿为应用成语词典系列之一种。《新形式新用法成语词典》是成语词典领域的全新尝试，收录了文革结束后至2011年之间的新成语或有新义的旧成语300多条，具有强烈的时代特征。本词典无论从收词、形式、例句、...
-
Nonlinear stochastic differential equations = 非线性随机微分方程
周少波编著.2014 年出版318 页ISBN：7568002233本教材主要是针对非线性随机微分方程（包括线性和非线性随机微分方程、时滞微分方程、泛函微分方程、中立型泛函微分方程）的稳定性、稳定化及其数值方法的收敛性及稳定性而编写，主要是近十五年来的国内外最新学...
-
-
自然语言计算机形式分析的理论与方法
冯志伟著2017 年出版846 页ISBN：9787312041303本书是国内第一本综述基于规则与基于统计的自然语言处理方法的专著，对自然语言处理中的各种形式模型进行了系统的梳理，分别讨论了基于短语结构语法的形式模型、基于合一运算的形式模型、基于依存和配价的形式...
-
图像与形式 当代艺术理论的矛盾点和结合点
王玺昌，王南溟主编；张国伟，魏亚争，唐倩副主编2013 年出版108 页ISBN：9787567108875本书是关于“图像与形式——当代绘画展”的文献资料。书中编录了对周长江、王纯杰、张健君、韩绍光、黄峻、刘永涛、李周卫、黄世常、胡诚、肖武聪、杨锴、周多任这12位艺术家的专题评论，这些评论都是讨论绘...
-
