Lecture Notes in Computer Science 3296 High Performance Computing-HiPC 2004 11th International Confe

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

India2004 年出版0 页ISBN：

Lecture Notes in Computer Science 3769 High Performance Computing-HiPC 2005 12th International Confe

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

India2005 年出版0 页ISBN：

Lecture Notes in Computer Science 3573 Logic Based Program Synthesis and Transformation 14th Interna

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

LOPSTR 20042005 年出版277 页ISBN：3540266550

Lecture Notes in Computer Science 3444 Programming Languages and Systems 14th European Symposium on

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

ESOP 20052005 年出版439 页ISBN：3540254358

Lecture Notes in Computer Science 3099 Application and Theory of Petri Nets 2004 25th International

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

ICATPN 20042004 年出版503 页ISBN：3540222367

Lecture Notes in Computer Science 3536 Application and Theory of Petri Nets 2005 26th International

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

ICATPN 20052005 年出版474 页ISBN：3540263012

Lecture Notes in Computer Science 3912 Active Networks IFIP TC6 6th International Working Conference

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

IWAN 20042007 年出版218 页ISBN：9783540714996

Lecture Notes in Computer Science 3223 Theorem Proving on Higher Order Logics 17th International Con

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

TPHOLs 20042004 年出版337 页ISBN：3540230173

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：