Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal Meth

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

2005 年出版558 页ISBN：3540278826

Lecture Notes in Computer Science 4250 Advances in Computer Games 11th International Conference

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

ACG 20052006 年出版272 页ISBN：9783540488873

Lecture Notes in Computer Science 3722 Theoretical Aspects of Computing-ICTA 2005 Second Internation

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

Vietnam2005 年出版0 页ISBN：

Lecture Notes in Computer Science 3114 Computer Aided Verification 16th International Conference

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

CAV 20042004 年出版536 页ISBN：3540223428

Lecture Notes in Computer Science 3576 Computer Aided Verification 17th International Conference

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

CAV 20052005 年出版564 页ISBN：3540272313

Lecture Notes in Computer science 4590 Computer Aided Verification 19th International Conference

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

CAV 20072007 年出版562 页ISBN：9783540733676

Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference

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

CAV 20062006 年出版564 页ISBN：354037406X

Lecture Notes in Computer Science 4238 Management of Convergence Networks and Services 9th Asia-Paci

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

APNOMS 20062006 年出版605 页ISBN：3540457763

Lecture Notes in Computer Science 4039 Reuse of Off-the-Shelf Components 9th International Conferenc

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

ICSR 20062006 年出版444 页ISBN：3540346066

Lecture Notes in Computer Science 3841 Frontiers of WWW Research and Development-APWeb 2006 8th Asia

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

2006 年出版1223 页ISBN：3540311424