第十一届全国高层建筑结构学术交流会论文集 1990年5月-6月14日辽宁丹东 第6卷
中国建筑科学研究院建筑结构研究所高层室编辑1990 年出版1700 页ISBN:
第十一届全国高层建筑结构学术交流会论文集 1990年5月-6月14日辽宁丹东 第1卷
中国建筑科学研究院建筑结构研究所高层室编辑1990 年出版284 页ISBN:
Lecture Notes in Computer Science 3602 Languages and Compilers for High Performance Computing 17th I
LCPC 20042005 年出版486 页ISBN:354028009X
Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con
TPHOLs 20012001 年出版394 页ISBN:354042525X
Lecture Notes in Computer Science 4709 Formal Methods for Components and Objects 5th International S
FMCO 2006 Amsterdam2222 年出版0 页ISBN:
Lecture Notes in Computer Science 2097 Advances in Databases 18th British National Conference on Dat
BNCOD 182001 年出版218 页ISBN:354042265X
Lecture Notes in Computer Science 4111 Formal Methods for Compoents and Objects 4th International Sy
FMCO 2005 Amsterdam2222 年出版0 页ISBN: