Efectivamente, compañero, los tres ejemplos que citas utilizan marcos (frames en inglés).
Para saber si utilizan marcos simplemente has de ir a la direcciones que indicas y utilizar el comando Ver/Código fuente de tu navegador. Te encontrarás con las etiquetas <frameset></frameset> y <frame></frame>, necesarias para crear el juego de marcos.
Un saludo
