陈世福,潘金贵等编译1989 年出版350 页ISBN:7502304479
本书系统介绍Quintusprolog语言的具体使用方法及其实现系统。
高伟,金光主编;李世伦副主编;姚晓清主审2015 年出版194 页ISBN:9787564336257
本书为国家骨干高职院校建设项目——铁道机车车辆专业规划教材。本课程共分为六章,系统地讲述了电力机车总体的组成和各部分的作用,主要内容包括:电力机车车体和设备布置、电力机车通风系统和空气管路系统、转...
陈世民主编2004 年出版408 页ISBN:7112069807
本书是建筑大师陈世民的个人作品集。作者用草图的形式,再现了其立意构思空间的过程,从中可以学到设计构思、创作的方法和技巧。
陈世旭著2005 年出版296 页ISBN:7532128024
本书为长篇,小说反映了在一个转型的时代里,人们在对权力、欲望追求中出现的浮躁心态和异化状况。
吕世伦主编2016 年出版400 页ISBN:9787560583334
本书是截止目前国内研究现代西方法学流派的内容最为丰富的专著,其资料来源大部分出自第一手外文原作,耗费精力颇大。本书编纂的主要目的是供从事西方法律思想史或现代西方法哲学的研究和教学之用,亦可作为邻近...