Lecture Notes in Computer Science 4346 Formal Methods:Applications and Technology 11th International
FMICS 20062007 年出版364 页ISBN：9783540709510
Fracture mechanics in layered and graded solids analysis using boundary element methods
Hongtian Xiao ; Zhongqi Yue2014 年出版306 页ISBN：3110297876
Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-Time Systems Essaya in Honour
2007 年出版539 页ISBN：9783540752202
Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN：354021366X
Lecture Notes in Computer Science 4577 Multimedia Content Analysis and Mining International Workshop
MCAM 20072007 年出版513 页ISBN：9783540734161
Lecture Notes in Computer Science 3656 Image Analysis and Recognition Second International Conferenc
ICIAR 20052005 年出版1279 页ISBN：3540290699
Lecture Notes in Computer Science 4054 Formal Methods and Stochastic Models for Performance Evaluati
EPEW 20062006 年出版238 页ISBN：3540353623
Lecture Notes in Computer Science 3188 Formal Methods for Components and Objects Second Internationa
FMCO 2003 Leiden2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4142 Image Analysis and Recognition Third International Conference
ICIAR 2006 Part II2006 年出版923 页ISBN：3540448942
Lecture Notes in Computer Science 4141 Image Analysis and Recognition Third International Conference
ICIAR 2006 Part I2006 年出版939 页ISBN：3540448918
