Depends on what kind of library software you are looking for. Two leading library automation systems suppliers to HE sector are: ExLibris: http://www.exlibris.co.il/category/Aleph Vubis (previously Geac): http://vubis-smart.com/html/homeeng.htm