Lecture Notes in Computer Science 4269 Large Scale Management of Distributed Systems 17th IFIP/IEEE

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

DSOM 20062006 年出版282 页ISBN：3540476598

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 3640 Peer-to-Peer Systems III 4th International Workshop

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

IPTPS 20052005 年出版288 页ISBN：3540290680

Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con

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

TPHOLs 20012001 年出版394 页ISBN：354042525X

Lecture Notes in Computer Science 4383 Hardware and Software

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

Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN：

Lecture Notes in Computer Science 3051 Relational and Kleene-Algebraic Methods in Computer Science 7

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

2004 年出版278 页ISBN：354022145X

Lecture Notes in Computer Science 3386 Public Key Cryptography-PKC 2005 8th International Workshop o

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

2005 年出版433 页ISBN：3540244549

Lecture Notes in Computer Science 4294 Service-Oriented Computing-ICSOC 2006 4th International Confe

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

2006 年出版656 页ISBN：9783540681472

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：