Interstaatliche Hochschule für Technik, Buchs