大约有20,862项符合查询结果项。（搜索耗时：0.1441秒）
为您推荐： 宗教生活的基本形式 维特根斯坦的生活形式 形式的起源 微分形式导论 形式逻辑 论思维形式与 方法
-
当代整体论的形式分析
刘劲杨著2018 年出版234 页ISBN：9787564361419本书为哲学类学术性专著，属哲学和方法论的基础研究。由于不同整体论均体现为对整体与部分及其关系有不同取向，本书据此以展开整体论的整合研究，一方面是对整体与部分的形而上分析与具体整体论分析的整合，另一方...
-
电子商务网络协议的形式化分析理论与应用
谢晓尧著2008 年出版146 页ISBN：7030200322本书叙述了与信息安全有密切联系的基于网络电子商务协议的形式化分析理论与实际应用。具体内容包括：电子商务协议的形式化逻辑分析方法、通用形式化Petri网模型分析方法、有穷自动机模型检测分析方法、安全...
-
布局天下 大学生形式与政策教育读本 2017春版
大学生形势与政策教育教学研究课题组2017 年出版132 页ISBN：9787516214619这本《布局天下--大学生形势与政策教育读本（2017春季版）》共包括8个专题和时事测评试题，每个专题由”导语””想一想””拓展训练”等几个方面的内容组成。这些内容涵盖了最新的国内外大事，包括党的重大方针和...
-
中国符号学丛书 形式动力 新诗论争的符号学考辨
乔琦著2015 年出版155 页ISBN：9787561486702中国新诗论争的基本形态和延伸开的诗学问题，构成一显一隐两条线索，显现的论述表层似乎是一连串的“主义”之兴替，而隐在的动力则是诗人们对新诗发展不倦地形式探索。本书以1917—1949年的中国新诗论争作为研究...
-
形式语言与自动机理论教学参考书 第3版
蒋宗礼编著2013 年出版205 页ISBN：9787302317814本书根据作者作为《形式语言与自动机理论》一书的配套读物，按照原书的结构编写而成。重点讨论有关内容的讲解和学习的要点、问题分析、求解思路和方法、注意事项、典型习题的解析等。按照小节给出知识点和主...
-
音乐、色彩与形式 视听艺术研究
姚以让著2017 年出版217 页ISBN：9787810968027本书侧重于从视听综合艺术角度，研究音乐与视觉艺术中的对称现象，将对称视为视听觉艺术共有的形式特征，并分析的在音乐和视觉艺术的不同表现情况。此外，著作还关注到音乐和视觉艺术中的色彩效应，分析了当代重要作...
-
非平衡态热力学和流体力学形式逻辑分析
杨本洛著2013 年出版336 页ISBN：9787313088109本书汇集了作者自2005年末起所撰写的若干相关文章，涉及20世纪“非平衡态热力学”的思考、针对西方主流科学世界近期含蓄提出对“流体力学基本方程”所作反思的重新反思以及与发生在19世纪末和20世纪末自然科...
-
形式感+ 网页视觉设计创意拓展与快速表现
晋小彦编著2014 年出版243 页ISBN：9787302346395随着生活和沟通的全面网络化，也随之带来了更多的网页设计的相关人资需求，伴随着这个行业的薪资可观度，也越来越多的专业和非专业人士选择了加入了网页设计的队伍中，如何能够找到简单直观的设计方法成为了众多追...
-
艺术辩证法 中国智慧形式
姜耕玉著2012 年出版434 页ISBN：7040336658作者凭借深厚的艺术理论素养和多年的创作经验，从深入考察中国文化背景、哲学渊源及中西方不同的思维方式中，进行对古代艺术辩证法资源的开发的现代阐释，发掘其特点和优势，彰显其原创的中国元素，建构了关于经验方...
-
形式化框架下置换和查找类算法的组装生成
石海鹤著2017 年出版147 页ISBN：9787030522139本书以前期研究形成的支持程序开发全过程的形式化方法PAR为基础，选取排序类和查找类算法作为研究的突破口，开展了形式化方法制导下的算法程序自动化的研究。PAR为算法程序自动化提供了有力支持，它由自定义泛型...