大约有476,561项符合查询结果项。（搜索耗时：0.5156秒）
为您推荐： 论思维形式与 方法 设计思维与方法 科学推理 逻辑与 思维方法 公文写作思维方法与实战 创新思维与triz方法 第2版 triz创新思维与方法 理论及应用
-
软件工程形式化方法与语言
李莹，吴江琴著2010 年出版200 页ISBN：9787308066679本书第一部分介绍了Z语言的背景知识，包括集合论和一阶谓词演算等概念及其形式化表达方法；第二部分介绍了Z语言构成及其规格说明的结构化，引入求精理论；第三部分介绍了Martin-Lof类型理论，及其规则定义和推导演算...
-
B方法与形式化软件开发技术研究
崔梦天，韩伟著2012 年出版133 页ISBN：9787561457290本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。...
-
战争科学论 认识和理解战争的科学基础和思维方法
胡晓峰著2018 年出版425 页ISBN：9787030560360要想了解信息化战争的运行机理，首先需要认识和理解现代科学原理，以及相应的科学思维方法。由于战争存在着巨大的复杂性，牛顿科学体系下的认识论和世界观，已经无法作为现代战争研究的科学基础。而复杂性科学的原...
-
幼儿园家庭教育指导形式与方法
晏红著2013 年出版252 页ISBN：9787501993222本书是一本给幼儿教师和幼儿园园长看的书。全书概括了绝大多数幼儿园都可实施的12种家庭教育指导形式及其方法，帮助教师树立了一览无余的系统观念，为教师高屋建瓴地选择和实施适宜的家教指导活动提供了资源与...
-
-
-
形式与政治 建筑研究的一种方法
朱剑飞2018 年出版278 页ISBN：9787560869001本书以文集方式汇编了作者二十余年的研究成果。内容涵盖空间形式、视觉形式，形式设计、制度空间、设计过程的制度问题、艺术与制度的关系、世界背景下中国建筑文化的基本特征等议题。本书提出三种建筑作为形...
-
-
文学形式与历史救赎 论本雅明《德国哀悼剧起源》
甘阳，刘小枫主编；秦露著2005 年出版255 页ISBN：7508037065本书主要讨论西方文学史中的救赎问题及20世纪德国犹太思想家瓦特·本雅明对这个问题的独特贡献。分三部分，分别论述了西方文学史上的悲剧、小说和哀悼剧所代表的三种救赎思想及其背后的四斜向思想转型。通过...
-
硬件设计验证 基于模拟与形式的方法
（美）WilliamK.Lam著2013 年出版377 页ISBN：9787121195839本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、...