（美）马克·彭德格拉斯特（Mark Pendergrast）著；丁岚译2003 年出版609 页ISBN：7219047630
本书叙述可口可乐百年发展历史，描述可口可乐成长过程中形形色色的人物和他们的作用与贡献。
（美）马克·吐温（Mark Twain）著2004 年出版80 页ISBN：7508322541
本套丛书取材自西方经典文学名著，使读者在提高英文水平的同时一窥西方主要文学名著的全貌。与国家英语新课程标准的分级标准紧密结合，语言难度循序渐进，练习量大，与剑桥英语等级考试相对应。...
（美）德尔蒙，（美）戴维斯著2015 年出版108 页ISBN：9787515812175
食物对于人类和猫咪来说，的确都是能源之需。适当的饮食能让猫咪保持健康和活力。它们是家中的一分子，有权享有营养均衡的饮食。这本书介绍了50种食谱，它们都经过兽医的检验，获得他们的认可。本书提供的食谱简单...
（美）兰德尔·华莱士（Randall Wallace）著；路旦俊，胡泽刚译2005 年出版366 页ISBN：7020052355
本书为长篇小说，围绕18世纪一名美利坚殖民地的爱国者展开，讲述了这位爱国英雄为争取沙俄的援助而舍生忘死地奋斗的故事。女沙皇的传奇故事也是本书亮点之一。...
（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
（美）马克·塞拉塞尔（Mark Cerasale），（美）默林·斯通（Merlin Stone）著；毛忠明等译2006 年出版255 页ISBN：7532740412
本书是以IBM世界各国客户合作的大量工作经验以及与不同企业的合作经验编写而成。书的每一章都是IBM身改革的经验之谈。同时，还有一部分经验来自IBM客户解决问题的实际案例。...
（美）乔安娜·柯尔文；（美）布鲁斯·迪根图；蒲公英童书馆译2011 年出版45 页ISBN：9787221091901
小朋友，当你们翻开这本书的时候，“神奇校车”会带领你们遨游海底世界，它一定会让你喜欢，让你快乐！你可以认识许多伙伴，他们和你一起去探险，旅途上会见到很多新奇的东西，有美丽鲜艳的珊瑚、半透明的水母、做喷......
