Evaluating A Library Automation System Application in Senayan Library Management System (Slims): The Human Organization Technology (HOT) FIT Model in Indonesia | IEEE Conference Publication | IEEE Xplore