The slight noise would suggest they're ray-traced... Could be Blender with the Cycles renderer (perfectly capable of doing photo-realistic renders) or any of the wide array of commercial renderers out there...