Lecture Notes in Computer Science 4202 Formal Modeling and Analysis of Timed Systems 4th Internation

下载此书RAR压缩包在线购买PDF电子书

FORMATS 20062006 年出版369 页ISBN：3540450262

Lecture Notes in Computer Science 3535 Formal Methods for Open Object-Based Distributed Systems 7th

下载此书RAR压缩包在线购买PDF电子书

FMOODS 20052005 年出版321 页ISBN：3540261818

Lecture Notes in Computer Science 4037 Formal Methods for Open Object-Based Distributed Systems 8th

下载此书RAR压缩包在线购买PDF电子书

FMOODS 20062006 年出版267 页ISBN：354034893X

fracture mechanics in layered and graded solids analysis using boundary element methods 层状和梯度材料断裂力学的

下载此书RAR压缩包在线购买PDF电子书

2222 年出版0 页ISBN：

Lecture Notes in Computer Science 3617 Image Analysis and Processing-ICIAP 2005 13th International C

下载此书RAR压缩包在线购买PDF电子书

2005 年出版1221 页ISBN：3540288694

Lecture Notes in Computer Science 3440 Tools and Algorithms for the Construction and Analysis of Sys

下载此书RAR压缩包在线购买PDF电子书

TACAS 20052005 年出版588 页ISBN：3540253335

Lecture Notes in Computer Science 4424 Tools and Algorithms for the Construction and Analysis of Sys

下载此书RAR压缩包在线购买PDF电子书

TACAS 20072007 年出版738 页ISBN：9783540712084

Lecture Notes in Computer Science 3920 Tools and Algorithms for the Construction and Analysis of Sys

下载此书RAR压缩包在线购买PDF电子书

TACAS 20062006 年出版506 页ISBN：3540330569

Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys

下载此书RAR压缩包在线购买PDF电子书

TACAS 20042004 年出版608 页ISBN：354021299X

Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio

下载此书RAR压缩包在线购买PDF电子书

Communication and Systems2004 年出版295 页ISBN：