大约有70,000项符合查询结果项。（搜索耗时：0.0486秒）
为您推荐： 奎尼酸与六碳糖反应 生成物 行动生成意义感及其哲学心理学理论进展 中国特色社会主义新时代的世界意义 生成式ai人工智能的未来 闽诗传统的生成 塔里木盆地库车坳陷陆相油气的生成
-
安全协议实施自动化生成与验证
孟博，王德军著2016 年出版318 页ISBN：9787030508676本书共分五篇15章。系统地全面介绍了安全协议实施生成与验证的基本理论和关键技术及最新成果。主要内容包括安全协议协议规范形式化分析与验证技术、安全协议实施的生成与验证技术及其国内外发展现状、应用...
-
可持续建筑设计生成与评价一体化机制
褚冬竹著2015 年出版254 页ISBN：9787030449160在可持续发展的总体观念下，“可持续建筑”的话题是建筑界乃至整个城市发展领域的热点话题。在诸多相似概念（如“绿色建筑”、“生态建筑”等）中，可持续建筑可视为最高级形式与长期追求目标。在当前的建筑设计研...
-
构件成形·定位·连接与空间和形式生成
张宏，朱宏宇，吴京，王海宁等著；张宏主编2016 年出版195 页ISBN：9787564164225本书研究了钢筋混凝土结构构件成形技术和装备的国内外发展及现状，以构件成形、定位和外墙板预制装配为核心目标，通过建造示例，展示了自主研发的成套装备的应用实况。结合结构空间的限定和使用，从工程学和建筑学...
-
小空间 大创造 1 时尚家居生成法
（澳）斯蒂芬·克拉夫蒂（Stephen Crafti）著；陈晓飞，郝春荣译2005 年出版176 页ISBN：7112073626本书介绍的小空间设计案例充分体现了建筑师和设计师卓越的才能。从仓库上的阁楼到隐藏在小巷里的联排住宅，这些建筑所处的位置就像空间本身一样吸引人们。随着对更小更灵活的空间的接近，建筑师和设计师正不断...
-
-
三维图形生成方法及程序设计
陆玲，汤彬著2011 年出版179 页ISBN：9787566102935本书主要介绍一些常用的三维图形的生成方法，以及相应方法的VC++6.0程序设计。常用的三维图形生成方法主要包括图形的几何变换及投影变换，规则曲面及非规则曲面的生成方法，真实感图形生成的消隐、光照、纹理、...
-
全自动dBASEⅢ用户系统生成器原理与应用 ADG V2.0-2.02
云南省计算机软件技术开发研究中心1991 年出版146 页ISBN：据封面页著录.--附录:ADG各版本情况介绍…等:ADG与国内同类软件相比
-
数字集成电路设计验证 量化评估、激励生成、形式化验证
李晓维，吕涛，李华伟，李光辉著2010 年出版411 页ISBN：9787030276094本书重点介绍过去五年内取得的相关研究成果，兼顾对国内外近期相关工作的扼要介绍。本书涉及数字集成电路模拟验证的覆盖量化评估和测试激励生成、形式化方法。主体内容包括量化评估、测试激励生成、形式验证...
-
云计算软件工程 云软件自动生成原理及方法
周相兵著2014 年出版218 页ISBN：9787030423276以云计算为思想，服务计算为基础，全书共分十章进行来研究一种面向云服务的软件生成原理及方法，并以构建的“旅游云”为具体的应用研究对象。全书以当前云与服务计算的研究基础，根据用户需求对Internet中的服务（含...
-
