Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN：354021366X
SYNTHETIC ORGANIC ELECTROCHEMISTRY Second Edition
Albert J.Fry2222 年出版339 页ISBN：
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：
FOOD AND AGRICULTURE ORGANIZATION OF THE UNITED NATIONS2010 年出版171 页ISBN：9250065793
