大约有2,626项符合查询结果项。（搜索耗时：0.0454秒）
为您推荐： 外代数与外微分 微分形式导论 代数拓扑中微分形式 可视化微分几何和形式 微分形式 微分形式入门
-
马克思主义意识形态政治功能及实现形式研究
申文杰著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本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
-
形式语言与自动机理论
蒋宗礼，姜守旭编著2003 年出版347 页ISBN：7302061033形式语言与自动机理论是计算机科学与技术学科各专业本科生的一门重要课程。本书是作者结合其多年在大学讲授本门课程的经验和体会，选择和组织有关内容撰写而成。本书不仅含有有关正则语言、上下文无关语言的...
-
非线性偏微分方程分析讲义 第2卷 英文版
林芳华，张平著2011 年出版331 页ISBN：9787040316100中国科学院数学与系统科学研究院晨兴数学中心于2009年5月至2009年12月举办了一个题为“非线性偏微分方程中的分析主题研讨班”。本书收集了其中七篇讲义，包括Chongsheng Cao和Jiahong Wu教授关于不可压缩磁...
-
现代汉语形容词生动形式的语用价值
李劲荣著2014 年出版255 页ISBN：9787516144541本书认为，汉语形容词生动形式的语法价值主要体现在语用功能上，具有描绘性、调量性和凸显性特征。1．描绘性。描绘性特征制约着形容词构成生动形式的内在理据，即越是表达具体义的形容词越具有构成生动形式的可能...
-
八大山人研究大系 第7卷 上 绘画风格、形式、题材研究
饶宗颐主编；朱良志执行主编2015 年出版236 页ISBN：9787548038818八大山人是中西方艺术史上共同研究的大师级艺术家第一人。本书系汇集了300多年来不同国度、不同语言持续性研究八大山人诸多方面的成果，在中外绘画史上，针对一个画家，出版这一全球性的研究总汇，迄今尚未见到，是...