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 4111 Formal Methods for Compoents and Objects 4th International Sy

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

FMCO 2005 Amsterdam2222 年出版0 页ISBN：

Lecture Notes in Computer Science 616 Application and Theory of Petri Nets 1992

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

1992 年出版398 页ISBN：3540556761

Lecture Notes in Computer Science 3449 Applications of Evolutionary Computing EvoWorkshops 2005:EvoC

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

EvoHOT2222 年出版0 页ISBN：

Lecture Notes in Computer Science 4448 Applications of Evolutionary Computing EvoWorkshops 2007:EvoC

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

EvoFIN2222 年出版0 页ISBN：

Lecture Notes in Computer Science 3005 Applications of Evolutionary Computing EvoWorkshops 2004:EvoB

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

EvoCOMNET2222 年出版0 页ISBN：

Lecture Notes in Computer Science 3907 Applications of Evolutionary Computing EvoWorkshops 2006:EvoB

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

EvoCOMNET2222 年出版0 页ISBN：

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 3795 Grid and Cooperative Computing-GCC 2005 4th International Con

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

2005 年出版1203 页ISBN：3540305106