当前位置：首页 > 名称
大约有20,862项符合查询结果项。（搜索耗时：0.1306秒）
为您推荐： 宗教生活的基本形式 维特根斯坦的生活形式 形式的起源 微分形式导论 形式逻辑 论思维形式与 方法
-
软件工程形式化方法与语言
李莹，吴江琴著2010 年出版200 页ISBN：9787308066679本书第一部分介绍了Z语言的背景知识，包括集合论和一阶谓词演算等概念及其形式化表达方法；第二部分介绍了Z语言构成及其规格说明的结构化，引入求精理论；第三部分介绍了Martin-Lof类型理论，及其规则定义和推导演算...
-
-
-
-
两类“相对论”形式逻辑分析
杨本洛著2011 年出版336 页ISBN：9787313069245本书主要涉及“相对论”数学基本问题的若干文章，与Maxwell的电磁场经典理论体系仍然崇尚“经验事实”基础，只因为理性认识和数学功能工具的历史局限性几乎必然隐含许多逻辑不当完全不同，两类“相对论”以及他...
-
实验与形式 古今波兰艺术与中波艺术交流
（波）雅谷比，陈淑君编；何娟译2012 年出版271 页ISBN：9787545203516本书由24篇论文组成，它们分别从概述、历史、中波两国各个历史时期的艺术代表作品等角度论述欧洲背景下的波兰艺术，以及中国艺术与波兰艺术之间的关系等论题。该内容在国内艺术研究论著中独树一帜，具有较高的研...
-
叙述民族主义 亚裔美国文学中的意识形态与形式
（美）凌津奇著2005 年出版283 页ISBN：7500453876本书通过对五部亚裔美国文学的奠基性文本的重新解读，论述了亚裔美国文学批评的传统与现状。
-
-
杠作 一个原理、多种形式
柏庭卫著2012 年出版203 页ISBN：9787112142842杠杆梁结构的原理是一根梁由两根梁来支撑，同时至少承受一根梁的荷载，由此形成的一个交互支撑的框架结构。西方文艺复兴时期的乡土建筑中就使用该结构形式，中国的例子则是虹桥。近年来不少的建筑学校的设计教学...
-
学科分类
出版时间