李娜著2011 年出版187 页ISBN：9787303121694
本书是为Lewis的五个严格蕴涵系统建立布尔值模型。为此，本文首先定义了模态公式□α的布尔值||□α||；其次证明在该定义下，模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值为1；最后证明集合论的ZFC公理系统的...
王又平著2011 年出版415 页ISBN：9787562248729
本书以中国现当代文学思潮为潮流和写作背景，对20世纪末的文学潮流的来龙去脉及思想给予了清晰的勾勒和详细的阐述，内容涉及寻根小说、先锋小说、新写实小说、新历史小说，新女性小说等。...
汤谷良，高晨，卢闯编著2010 年出版288 页ISBN：9787301177037
本书立足“企业管理控制系统”，即战略决策、组织管控、流程再造、评价与激励、文化与组织学习等要点上，设计全书的内容框架与知识结构；系统总结当今国内外企业计划与预算理论的最新成果，并提炼中国本土企业的计...
感动重庆 那些震撼和激励过我们的人和事（2008-2009年度人物）
本社编委会编2010 年出版163 页ISBN：9787562457305
本书记录2008年、2009年度感动重庆人物（共计20个）的故事。在市场上各种充满功利色彩的书里面，《感动重庆》无疑是一本带着超群公益性质的书。在书里面，有一个个动人的故事。让感动的力量，激发生活的信心，让好故事...
G·J·S·戈维特主编；R·J·豪沃思本卷主编；地质矿产部情报研究所译1990 年出版415 页ISBN：7502404465
陈培翼主编；国家教育委员会科技司，上海高校软科学联合研究中心编1992 年出版346 页ISBN：7562803080
本书内容：各高等学校软科学研究机构简介， 88-90年已完成的重要软科学研究课题、部分国际合作项目、学校交流、部分软科学期刊和计算机应用软件等。...
张祥荣，刘志强，（美）朱利安·泰普林著2009 年出版250 页ISBN：9787536467668
本书是一本关于中学生的书。作者从心理学的基本观点出发，述说了发生在中学生身边的事，并就这些具有代表性的事例进行深度分析，回答中学生关心的问题，对他们在学习、生活中遇到的困惑给出明确的指引，帮助他们健康...
李资源，李腊生主编；李敏昌，张凤华，黄斌昌，李立勇副主编2005 年出版577 页ISBN：7216044207
本书是人文社会基础学科各个方面的简介。
周万幸著2013 年出版248 页ISBN：9787121198410
本书在导弹防御系统发展的基础上，详细介绍了反导系统雷达目标识别的研究及其相关问题，分析了反导雷达目标环境与弹道导弹的目标特性，系统阐述了弹道导弹系统雷达目标的识别捕获技术，包括运动特征、RCS时间序列...
中共太原市委党史研究室编2012 年出版203 页ISBN：9787203079590
本书是为纪念中国共产党成立90周年，弘扬党的优良传统和革命精神而出版的。书稿中的100位优秀共产党员都是经过太原市各大媒体公示的，而且都是在太原解放和建设中作出突出贡献的优秀共产党员。既有教育意义，又...
