These were rendered with Terragen. I like landscape creation software and this one is especially good at rendering clouds. Terragen is fully procedural, as opposed to many other image based programs. In the VRtual X section you can see some other landscape projects I worked on.