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：
JUDICIAL POLICIES IMPLEMENTATION AND IMPACT
CHARLES A. JOHNSON BRADLEY C. CANON2222 年出版288 页ISBN：0871872846
IPv6 Advanced Protocols Implementation
（美）Qing Li （日）Tatuya Jinmei （日）Keiichi Shima2009 年出版981 页ISBN：
Ethernet Networks:Design Implementation Operation Management
1994 年出版354 页ISBN：0471597171
ADAPTIVE FILTERING Algorithms and Practical Implementation
1997 年出版443 页ISBN：0792399129
BUSINESS PROCESS IMPLEMENTATION BUILDING WORKFLOW SYSTEMS
1997 年出版238 页ISBN：0201177684
