(英)安德鲁·玛尔(Andrew Marr)著;邢科译2016 年出版559 页ISBN:9787201108810
本书是一部世界史。从古典时期的希腊罗马到拿破仑的崛起,从秘鲁到乌克兰,从中国到加勒比海,作者一改“欧洲中心论”的史观,叙述中不拘泥于一处一地的历史,而是放眼全球,将各地历史发展加以比较,并从中发现联系......
Lecture Notes in Artificial Intelligence 2605 Mechanizing Mathematical Reasoning Essays in Honro of
2005 年出版565 页ISBN:3540250514
1990 IEEE INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN DIGEST OF TECHNICAL PAPERS
1990 年出版570 页ISBN:0818620552
Lecture Notes in Computer Science 3147 Integration of Software Specification Techniques for Applicat
2004 年出版628 页ISBN:3540231358