To the best of my knowledge this is correct. 

The whole building is the Hardiman Building. 
See https://westnordost.de/p/162751.jpg & https://westnordost.de/p/162753.jpg

And the two libraries are separate with one being newer. (https://www.universityofgalway.ie/hardimanresearchbuilding/)