Use https://library.tudublin.ie/ to search the entire TU Dublin library catalogue.