STABILITY OF MICROSTRUCTURE IN METALLIC SYSTEMS CAMBRIDGE SOLID STATE SCIENCE SERIES
J.W.MARTIN AND R.D.DOHERTY2222 年出版298 页ISBN:0521208750
STRUCTURAL INTEGRITY ASSESSMENT AND LARGE DEFORMATION ANALSIS OF METALLIC COMPONENTS
胡少伟著2006 年出版169 页ISBN:7807340142
本书介绍了结构的大变形发生、发展过程、对工程结构完整性和裂变性能进行评价,对结构体温控、热控性能进行论述。供工程结构研究人员阅读。...
Rehabilitation of metallic civil infrastructure using fiber-reinforced polymer (FRP) composites
Vistasp M. Karbhari2014 年出版440 页ISBN:0857096532
AMORPHOUS METALLIC MATERALS PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON AMORPHOUS METALLI
P.DUHAJ P.MRAFKO P.SVEC1990 年出版464 页ISBN:0878496017
Real-Time Systems Formal Specification and Automatic Verification
2008 年出版320 页ISBN:9780521883337
FORMAL VLSI SPECIFICATION AND SYNTHESIS VLSI Design Methods-I
1990 年出版413 页ISBN:044488372x
Automated database applications testing : specification representation for automated reasoning
Rana FaridMikhail2010 年出版195 页ISBN:9812837288
Lecture Notes in Computer Science 124 Compiler Specification and Verification
1981 年出版269 页ISBN:3540108866
ZB 2002:Formal Specification and Development in Z and B
2222 年出版535 页ISBN:3540431667