Lecture Notes in Computer Science 3725 Correct Hardware Design and Verification Methods 13th IFIP WG

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

CHARME 20052005 年出版412 页ISBN：3540291059

Lecture Notes in Computer Science 4407 Logic-Based Program Synthesis and Transformation 16th Interna

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

LOPSTR 20062007 年出版236 页ISBN：9783540714095

Lecture Notes in Computer Science 4709 Formal Methods for Components and Objects 5th International S

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

FMCO 2006 Amsterdam2222 年出版0 页ISBN：

Lecture Notes in Computer Science 4111 Formal Methods for Compoents and Objects 4th International Sy

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

FMCO 2005 Amsterdam2222 年出版0 页ISBN：

Lecture Notes in Computer Science 4572 Security and Privacy in Ad-hoc and Sensor Networks 4th Europe

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

ESAS 20072007 年出版247 页ISBN：9783540732747

Lecture Notes in Computer Science 4393 STACS 2007 24th Annual Symposium on Theoretical Aspects of Co

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

Germany2007 年出版0 页ISBN：

Lecture Notes in Computer Science 1563 STACS 99 16th Annual Symposium on Theoretical Aspects of Comp

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

Germany1999 年出版583 页ISBN：

Lecture Notes in Computer Science 3795 Grid and Cooperative Computing-GCC 2005 4th International Con

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

2005 年出版1203 页ISBN：3540305106

Lecture Notes in Computer Science 4249 Cryptographic Hardware and Embedded Systems-CHES 2006 8th Int

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

2006 年出版462 页ISBN：3540465596

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

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

2005 年出版1221 页ISBN：3540288694