El catálogo de la biblioteca del Real Instituto está integrado en el Catálogo Colectivo de la Red de Bibliotecas del Principado de Asturias, y solo es accesible desde el sitio web www.asturias.es.