Lecture Notes in Computer Science 2791 Formal Modeling and Analysis of Timed Systems First Internati

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

FORMATS 20032004 年出版281 页ISBN：3540216715

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 3393 Formal Methods in Software and Systems Modeling Essays Dedica

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

2005 年出版413 页ISBN：3540249362

Lecture Notes in Computer Science 3723 Analysis and Modelling of Faces and Gestures Second Internati

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

AMFG 20052005 年出版424 页ISBN：3540292292

Lecture Notes in Computer Science 4266 Advances in Information and Computer Security First Internati

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

IWSEC 20062006 年出版438 页ISBN：3540476997

Lecture Notes in Computer Science 3726 High Performance Computing and Communications First Internati

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

HPCC 20052222 年出版0 页ISBN：

Lecture Notes in Computer Science 4778 Analysis and Modeling of Faces and Gestures Third Internation

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

AMFG 20072007 年出版304 页ISBN：9783540756897

Lecture Notes in Computer Science 4313 Leveraging Applications of Formal Methods First International

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

ISOLA 20042006 年出版197 页ISBN：9783540489283

Lecture Notes in Computer Science 4735 Model Driven Engineering Languages and Systems 10th Internati

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

MODELS 20072007 年出版694 页ISBN：9783540752080

Lecture Notes in Computer Science 3670 Formal Techniques for Comprter Systems and Busoness Processes

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

EPEW 20052005 年出版349 页ISBN：3540287019