古天龙著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
欧洲文化是当今世界的主流文化,而希腊文化则是欧洲文化的源头。希腊神话是古希腊民族关于神和英雄的故事的总汇。希腊神话作为希腊文化的最大成就,在西方历史,甚至整个人类历史上都有着至尊的地位。要想了解西...