Be sure that you are connected to the wireless network named “eduroam”, otherwise you will not find the printers.
IP Addresses of the printers
...
can be found on the Printers
Windows Setup
How to install the Printer Drivers
...
Download and install file from the link below, hit “Download Anyway” to begin download:
Windows 8 64-bit Driver Windows 7 64-bit Driver
For 32-bit Systems
Download and install file from the link below, hit “Download Anyway” to begin download:
Windows 8 32-bit Driver Windows 7 32-bit Driver
How to Install the printer. (You will have to do this twice if you wish to connect to both printers in the lounge.)
...
(If no printer is found move on to Part A below, otherwise skip to part 4.)
Part A) If no printer was found hit “The printer that I want isn’t Listed”
Part B) Please Select Add a Printer using a TCP/IP address or hostname, click Next.
...