Národní technická knihovna, Praha – Dejvice