混凝土结构规范 2000年版 中国工程建设标准化协会标准 钢筋混凝土承台设计规程 CECS88∶97
中国建筑工业出版社编2000 年出版28 页ISBN:7112041058
肖希明著2013 年出版280 页ISBN:7501342976
本书收录1909至1999年中国发表的图书馆学专著103种,加一册序录,共装为95册。1909年是中国图书馆学著作发端之年,在图书馆学百年发展中,涌现了很多创造性的著作,而随着时间的流逝,很多经典著作由于难以见到而失去...
Lecture Notes in Computer Science 3114 Computer Aided Verification 16th International Conference
CAV 20042004 年出版536 页ISBN:3540223428
Lecture Notes in Computer Science 3634 Computer Science Logic 19th International Workshop
CSL 20052005 年出版567 页ISBN:3540282319
Lecture Notes in Computer Science 4207 Computer Science Logic 20th International Workshop
CSL 20062006 年出版627 页ISBN:3540454586
Lecture Notes in Computer Science 3701 Theoretical Computer Science 9th Italian Conference
ICTCS 20052005 年出版411 页ISBN:3540291067
Lecture Notes in Computer Science 3576 Computer Aided Verification 17th International Conference
CAV 20052005 年出版564 页ISBN:3540272313
Lecture Notes in Computer science 4590 Computer Aided Verification 19th International Conference
CAV 20072007 年出版562 页ISBN:9783540733676
Lecture Notes in Computer Science 3210 Computer Science Logic 18th International Workshop
CSL 20042004 年出版671 页ISBN:3540230246