（印）罗伊乔杜里著2010 年出版202 页ISBN：9787302230724
本书是嵌入式系统软件验证方面的先驱之作，关注的重点在于嵌入式系统与软件的验证。
（英）莱斯莉.阿德金斯，（英）罗伊.阿德金斯著2015 年出版508 页ISBN：9787100114806
此书用文字和黑白图片汇集了古罗马文明发生、发展的各个形态，详细讲述了古罗马时期人的日常生活、风俗格调、器皿物件等，展现了现代文明和文化的起源。该书用鸟瞰的视角给读者提供了一个了解古代罗马文明的机...
杰弗瑞·A. 杰里（Geoffrey A. Jehle），菲利普·J. 瑞尼（Philip J. Reny）著2012 年出版488 页ISBN：9787300166131
本书是一本经典的高级微观经济学教材。本书用通俗易读的写作方法严密地阐述了包括消费者理论、生产者理论，以及部分均衡、一般均衡、博奕论和信息等内容的现代微观经济理论。...
（美）约翰·J.斯蒂芬斯（John J. Stephens）著；马小芳等译2004 年出版278 页ISBN：7300062245
本书考察了商品期货市场能够为管理者所运用的好处。
