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:
Short protocols in cell biology science a compendium of methods from Current protocols in cell biolo
Juan S. Bonifacino ; Mary Dasso ; Joe B. Harford ; Jennifer Lippincott-Schwartz ; Kenneth M. Yamada2004 年出版802 页ISBN:0471483397