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 4709 Formal Methods for Components and Objects 5th International S

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

FMCO 2006 Amsterdam2222 年出版0 页ISBN：

Lecture Notes in Computer Science 4423 Foundations of Software Science and Computational Structures

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

FOSSACS 20072007 年出版379 页ISBN：9783540713883

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 3617 Image Analysis and Processing-ICIAP 2005 13th International C

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

2005 年出版1221 页ISBN：3540288694

Lecture Notes in Computer Science 3552 Quality of Service-IWQoS 2005

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

2005 年出版400 页ISBN：3540262946

Lecture Notes in Computer Science 3548 Detection Of Intrusions and Malware

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

and Vulnerability Assessment Second International Conference2005 年出版241 页ISBN：

Lecture Notes in Computer Science 4362 SOFSEM 2007:Theory and Practice of Computer Science 33nd Conf

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

2007 年出版937 页ISBN：9783540695066

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 4864 Mobile Ad-hoc and Sensor Networks Third International Confere

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

MSN 20072007 年出版869 页ISBN：9783540770237