在2007年，IBM（现在为联想旗下品牌ThinkPad）推出了多款电脑型号。由于我无法获取实时的产品数据库信息，所以无法提供详尽的列表，但可以提供一些当时的流行型号。这些型号可能因地区和时间的不同而有所不同。以下是其中一些型号的示例：

1. ThinkPad系列：如R系列、T系列、X系列等。这些系列都有各自的细分型号，例如R5系列或T4系列等。这些笔记本电脑具有不同的配置和规格，以满足不同的用户需求。

2. ThinkCentre系列：这是IBM针对桌面电脑推出的系列。该系列同样有许多不同的型号和配置，用于满足各种商业和家庭需求。

要获取准确的型号列表和相关配置信息，建议访问IBM官方网站或与当地的经销商联系。此外，也可以通过在线零售商或技术论坛查找更详细的资料。请注意，随着时间的推移，这些信息可能已经发生变化，建议在做出购买决策前进行充分的市场调研和比较。