古天龙著2005 年出版265 页ISBN：704016079X
形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。本书对软件开发中的形...
新疆石油管理局南疆石油勘探指挥部地质研究所，北京师范大学地理系新生代古地理研究室编1989 年出版156 页ISBN：7030006542
古万荣编著2009 年出版298 页ISBN：9787115194725
本书分为4篇，入门篇、MFC篇、数据库和网络编程篇、实例篇、入门篇主要讲解Visual C++学习方法指导、开发环境、数据类型、基本语法、函数、类、类继承、标准模板库、I/O流和文件；MFC篇间要讲解MFC 程序设计的...
（加）A.曼古埃尔，（意）G.盖德鲁培著；赵蓉译2016 年出版790 页ISBN：7567553171
阿尔维托·曼古埃尔是享誉世界文坛的作家、小说家、翻译家兼文集编纂者。本书是他与合作者历时多年，汇集了文学史上曾经出现过的所有神奇这地（太虚幻境），以词典词条A-Z的方式呈现，每个虚幻之境配以一段文学作品...
（加）A.曼古埃尔，（意）G.盖德鲁培著；赵蓉译2016 年出版1479 页ISBN：7567553171
阿尔维托·曼古埃尔是享誉世界文坛的作家、小说家、翻译家兼文集编纂者。本书是他与合作者历时多年，汇集了文学史上曾经出现过的所有神奇这地（太虚幻境），以词典词条A-Z的方式呈现，每个虚幻之境配以一段文学作品...
大冶市铜绿山古铜矿遗址保护管理委员会编2013 年出版277 页ISBN：9787030388537
铜绿山是中国第一个古铜矿遗址，今年是铜绿山古铜矿遗址考古发现40周年。40年来，在各级领导、考古工作者和社会有识之士的共同努力下，遗址经历了发现、发掘、保护的艰难历程。本书收录副部级以上领导题词，国内知...
刘友古编著2009 年出版448 页ISBN：9787208088559
本书论述了伊拉斯谟与路德对罪与救赎、理性与信仰、自由意志及必然性这三个主题的诠释，并由此构成两种不同的宗教思想类型，可用康德的宗教类型来界说：人中心论宗教与神中心论宗教。...
刘勇，何长松，姜美主编；贵静，卢石梅，唐淑艳，古小刚副主编2016 年出版326 页ISBN：7040456080
（德）古·施瓦布著2011 年出版252 页ISBN：9787510107979
欧洲文化是当今世界的主流文化，而希腊文化则是欧洲文化的源头。希腊神话是古希腊民族关于神和英雄的故事的总汇。希腊神话作为希腊文化的最大成就，在西方历史，甚至整个人类历史上都有着至尊的地位。要想了解西...
