陈刚主编；刘芳，李文睿副主编2012 年出版339 页ISBN：9787105123148
本书稿收录了“应用人类学最新发展和在中国的实践”学术研讨会的参会论文，主要论述了国内外应用人类学研究发展历程与趋势、学科研究理论与方法、中国的经验与实践，对中国当前应用人类学的学科主体性和在中国...
宋玲，李琪主编2007 年出版523 页ISBN：756244143X
本书是一本电子商务教育与理论研究成果的优秀论文集，内容涉及电子商务理论、电子商务教育与电子商务应用等方面，作者主要是全国各地从事电子商务教育和理论研究的教师和研究人员。本书可以作为电子商务教育和...
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
（苏）华西里耶夫，В.Т.编；刘程译1963 年出版379 页ISBN：15165·1752（化工126）
