Laptops can be powered by either an inverter, or a DC-DC regulator.
There is an entire subforum dedicated to power laptops, netbooks, UMPC, etc. on the mp3Car forums.