Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN：354021299X
Responsive materials and methods state-of-the-art stimuli-responsive materials and their application
Ashutosh Tiwari ; Hisayoshi Kobayashi2014 年出版442 页ISBN：1118686225
Applications of symmetry methods to partial differential equations Volume 168 = 对称方法在偏微分方程中的应用
George W. Bluman ; Alexei F. Cheviakov ; Stephen C. Anco2015 年出版398 页ISBN：7510086267
Performance and reliability analysis of computer systems an example-based approach using the SHARPE
Robin A.Sahner ; Kishor S. Trivedi ; Antonio Puliafito1996 年出版404 页ISBN：0792396502
Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN：354021366X
RILEM TECHNICAL COMMITTEE 195-DTD RECOMMENDATION FOR TEST METHODS FOR AD AND TD OF EARLY AGE CONCRET
MATIAS KRAUSS2015 年出版93 页ISBN：9789401792653
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN：
Civil Liability for Environmental Damage Comparative Analysis of Law and Policy in Europe and the US
Mark Wilde2013 年出版344 页ISBN：9789041132338
A MULTI-DIMENSIONAL ANALYSIS OF THE RELATIONS BETWEEN REGISTER VARIATION AND CONTEXTUAL VARIABLES：A
武姜生著2007 年出版316 页ISBN：7810788507
本书采用基于语料库的多维度分析方法，探讨了英语语域变异与语境因素的关系。
