大约有10,976项符合查询结果项。（搜索耗时：0.0966秒）
为您推荐： 微分形式与外 代数拓扑中微分形式 可视化微分几何和形式 微分形式 微分形式入门 微分形式及其应用
-
-
自然语言计算机形式分析的理论与方法
冯志伟著2017 年出版846 页ISBN：9787312041303本书是国内第一本综述基于规则与基于统计的自然语言处理方法的专著，对自然语言处理中的各种形式模型进行了系统的梳理，分别讨论了基于短语结构语法的形式模型、基于合一运算的形式模型、基于依存和配价的形式...
-
图像与形式 当代艺术理论的矛盾点和结合点
王玺昌，王南溟主编；张国伟，魏亚争，唐倩副主编2013 年出版108 页ISBN：9787567108875本书是关于“图像与形式——当代绘画展”的文献资料。书中编录了对周长江、王纯杰、张健君、韩绍光、黄峻、刘永涛、李周卫、黄世常、胡诚、肖武聪、杨锴、周多任这12位艺术家的专题评论，这些评论都是讨论绘...
-
-
马克思主义意识形态政治功能及实现形式研究
申文杰著2015 年出版282 页ISBN：9787516151877我国学术界虽然对马克思主义意识形态问题进行了大量研究，并取得了丰硕成果，但相对而言，对马克思主义意识形态政治功能的研究成果还较少，主要是从一般意义上分析意识形态的功能，并且这方面的研究内容往往是在研究...
-
高等数学例题与习题集 4 常微分方程
（俄）А.К.博亚尔丘克，（俄）Г.П.戈洛瓦奇编著；郑元禄译2005 年出版477 页ISBN：7302096287《高等数学例题与习题集》是一套目前在俄罗斯具有广泛影响的高等数学辅导用书。本书为《高等数学例题与习题集》的第四卷，是原书的第5册，内容是关于微分方程的例题与习题、具体包括一阶微分方程、高阶微分方...
-
形式逻辑要现代化 家龙师谈逻辑
刘新文，贾青编2018 年出版276 页ISBN：9787030595980本书收集了我国著名逻辑学家张家龙研究员（曾任中国社会科学院哲学研究所逻辑室主任、中国逻辑学会会长）从1978年开始发表的部分著名社会性论文和专业性论文15篇，分上、下两部分。第一部分主要涉及我国逻辑教学...
-
企业信息系统的形式化及其应用
薛朝改著2012 年出版212 页ISBN：9787111367079企业信息系统（Enterprise Information System，EIS）在众多行业中得到了广泛的应用，并且发挥着越来越重要的作用，日益成为企业运行中必不可少的组成部分。形式化即“符号化＋抽象公理化”，也就是采用定量的数学方法描...
-
形式对意义的模仿 语言文学中的象似性现象
侯斌，冯晓花，杨智慧著2015 年出版216 页ISBN：9787516161333本书以费舍尔和皮尔士等为代表的语言学家认为语言和所指代的事物之间存在象似性，体现在语言的发音、词的表意、句法的结构和顺序、以及文学文本中。本书对这些语言学家这方面的研究和他们关于符号和符号的象...
-
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。