大约有20,000项符合查询结果项。(搜索耗时:0.0400秒)
为您推荐: 詹建俊写意油画形式语言研究 制度创新与国家成长 现代语言学研究 理论 方法 中国电影产业运营模式的变革与创新 改进和创新部队政治工作研究 新公司法的制度创新 规范内涵与合规治理
-
-
意义深度与形式创新的辩证统一 冯内古特小说研究
陈世丹著2012 年出版218 页ISBN:9787513518314本书将冯内古特的小说创作和亲身经历放在20世纪美国30年代至80年代的历史背景和后现代文化理论背景中进行考查,揭示了身临其境的冯内古特对美国社会认识的深化、对小说可能枯竭的震惊,以及对当代人类生存的关...
-
形式语言,自动机理论与计算导论
(印)卡马拉,(印)拉玛著2012 年出版317 页ISBN:9787121153945形式语言与自动机理论是计算机科学与技术专业的一门重要课程。本书是作者结合其多年来在大学讲授该门课程的经验和体会,选择和组织有关内容撰写而成。不仅含有有关正则语言、上下文无关语言的文法、识别模型...
-
软件形式规格说明语言-Z
缪淮扣,陈怡海编著2012 年出版299 页ISBN:9787302292777本书详细介绍了软件形成化方法与软件规格说明语言—Z的相关知识和设计方法,适合作为高校软件工程学科的教材使用。
-
形式语言 设计卷 基础教学分卷
邬烈炎编著2012 年出版154 页ISBN:9787550302549基本内容包括两个部分。第一部分是关于对形式的概念、研究历史、范式,及相关门类学科形式语言的描述;第二部分是关于形式语言的一系列课题,包括对课题概念、内涵与价值意义的解读,案例的介绍,以及进行练习的可能...
-
-
B方法与形式化软件开发技术研究
崔梦天,韩伟著2012 年出版133 页ISBN:9787561457290本书从软件实际开发过程出发,将形式化技术应用于每个开发阶段,系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法,其中包括UML模型图到B方法形式规约的比较全面的转换方法。...
-
-
-
中国共产党统一战线理论与实践形式研究
谭锐著2012 年出版267 页ISBN:9787550408005本书论述了中国共产党的民族民主统一战线理论,说明这是在新民主主义革命时期马克思主义理论中国化过程中形成的一个重大理论原则。同时,本书也论述了在社会主义革命时期,中国共产党依然重视和贯彻统一战线的理...