(美)John C. Mitchell著;许满武等译2006 年出版563 页ISBN:7121032244
本书提出了一个框架,用于分析程序设计语言的语法、操作和语义性质,该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法,以及一个等式逻辑和用于表达式求值的一组规...
风景园林·理论与实践系列丛书 景以境出,因借体宜 风景园林规划设计精髓
曾洪立著2015 年出版208 页ISBN:9787112177639
本书系统介绍了休闲农业与乡村旅游的理论知识(概念、功能、类型、发展趋势等),详细讲解了规划设计、筹办营销、餐饮客房服务、导游服务等操作技能,并对休闲农本书通过对我国风景园林的文献及实例的分析和整理,系...
沈雪松主编;顾勇,马兴华副主编;连云港港30万吨级航道建设指挥部主编单位2015 年出版484 页ISBN:9787114121210
连云港港30万吨级航道建设指挥部组织参建各单位根据工程推进情况,将丰富的理论探索、前期研究和设计施工管理经验,分别凝炼成论文,按淤泥质海岸建港的理论与前期研究、深水航道的设计与施工以及关键技术研究成...