Lecture Notes in Computer Science 3373 Advanced Encryption Standard-AES 4th International Conference

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

AES 20042005 年出版188 页ISBN：3540265570

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 3420 Networking-ICN 2005 4th International Conference on Networkin

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

France2222 年出版0 页ISBN：

Lecture Notes in Computer Science 3420 Networking-ICN 2005 4th International Conference on Networkin

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

France2222 年出版0 页ISBN：

Lecture Notes in Computer Science 3236 Applying Formal Methods:Testing

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

Performance2222 年出版0 页ISBN：

Lecture Notes in Computer Science 3657 Formal Methods for Components and Objects

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

2005 年出版325 页ISBN：3540291318

Lecture Notes in Computer Science 3294 Teaching Formal Methods CoLogNET/FME Stmposium

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

TFM 20042004 年出版249 页ISBN：3540236112

Lecture Notes in Computer Science 4202 Formal Modeling and Analysis of Timed Systems 4th Internation

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

FORMATS 20062006 年出版369 页ISBN：3540450262

Lecture Notes in Computer Science 2038 Genetic Programming 4th European Conference

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

EuroGP 20012001 年出版384 页ISBN：3540418997

Lecture Notes in Computer Science 3455 ZB 2005:Formal Specification and Development in Z and B 4th I

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

2005 年出版493 页ISBN：3540255591