Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc

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

Communication2006 年出版0 页ISBN：

Lecture Notes in Computer Science 2932 SOFSEM 2004:Theory and Practice of Computer Science 30th Conf

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

2004 年出版385 页ISBN：3540207791

Lecture Notes in Computer Science 4678 Advanced Concepts for Intelligent Vision Systems 9th Internat

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

ACIVS 20072007 年出版1100 页ISBN：9783540746065

Lecture Notes in Computer Science 3708 Advanced Concepts for Intelligent Vision Systems 7th Internat

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

ACIVS 20052005 年出版725 页ISBN：354029032X

Lecture Notes in Computer Science 4486 Formal Methods for Performance Evaluation 7th International S

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

Communication and Software Systems2007 年出版470 页ISBN：

Lecture Notes in Computer Science 4745 SDL 2007:Design for Dependable Systems 13th International SDL

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

2007 年出版290 页ISBN：9783540749837

Lecture Notes in Computer Science 4288 Algorithms and Computation 17th International Symposium

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

ISAAC 20062006 年出版766 页ISBN：9783540496946

Lecture Notes in Computer Science 3827 Algorithms and Computation 16th International Symposium

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

ISAAC 20052005 年出版1190 页ISBN：3540309357

Lecture Notes in Computer Science 4835 Algorithms and Computation 18th International Symposium

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

ISAAC 20072007 年出版929 页ISBN：9783540771180

Lecture Notes in Computer Science 4743 Frontiers of High Performance Computing and Networking-ISPA 2

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

2007 年出版536 页ISBN：9783540747666