When I was at TVA, the servers were named after cartoons or Star Trek depending on what OS they were running. Cartoon names were typicly Novell and Star Trek were NT.

Rocky
Bullwinkle
Borg
etc..

Computer/Server names can be anything you want. Be creative.

Tank names? Abraham? Don't you mean Abrams?