For other newbies like me who wonder where they come up with "Vcc" and "Vdd" for the names of power pins, this page explains it: