Lecture Notes in Computer Science 4424 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20072007 年出版738 页ISBN：9783540712084
Lecture Notes in Computer Science 3920 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20062006 年出版506 页ISBN：3540330569
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN：354021299X
HANDBOOK OF DAMAGE MECHANICS NANO TO MACRO SCALE FOR MATERIALS AND STRUCTURES VOLUME 2
GEORGE Z.VOYIADJIS2015 年出版1580 页ISBN：9781461455882
HANDBOOK OF DAMAGE MECHANICS NANO TO MACRO SCALE FOR MATERIALS AND STRUCTUERS VOLUME 1
GEORGE Z.VOYIADJIS2015 年出版762 页ISBN：9781461455882
METHODS TOWARD A SCIENCE OF BEHAVIOR AND EXPERIENCE UNIVERSITY OF MASSACHUSETTS PSY 241
WILLIAMS J.RAY2002 年出版333 页ISBN：0534002331
CONTROL AND DYNAMIC SYSTEMS ADVANCES IN THEORY AND APPLICATIONS VOLUME 27 PART3OF3
C.T.LEONDES2222 年出版377 页ISBN：012012727X
Studies in Surface Science and Catalysis 1 PREPARATION OF CATALYSTS I
1976 年出版706 页ISBN：0444414282
