书目详细信息 : 敞开式岩石隧道掘进机(TBM)施工关键技术19讲