Library of the Institute of Geodesy and Cartography