Here's a list of the Google Servers used by different services as they're returned in the HTTP headers. Not all of them have transparent names and some of them may suggest interesting data (like the ctcserver for the not-yet-existent Google Call service linked from Google's robots.txt). Google Web Server is a modified version of Apache custom server that runs on Linux.