Lecture Notes in Computer Science 4355 B 2007:Formal Specification and Development in B 7th Internat

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

France2006 年出版0 页ISBN：

Lecture Notes in Computer Science 4497 Computation and Logic in the Real World Third Conference on C

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

CiE 20072007 年出版826 页ISBN：9783540730002

Lecture Notes in Computer Science 4431 Adaptive and Natural Computing Algorithms 8th International C

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

ICANNGA 2007 WarsawApri 年出版2007 页ISBN：Part I

Lecture Notes in Computer Science 4432 Adaptive and Natural Computing Algorithms 8th International C

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

ICANNGA 2007 WarsawApri 年出版2007 页ISBN：Part II

Lecture Notes in Computer Science 4494 Algorithms and Architectures for Parallel Processing 7th Inte

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

ICA3PP 20072007 年出版508 页ISBN：9783540729044

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 3455 ZB 2005:Formal Specification and Development in Z and B 4th I

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

2005 年出版493 页ISBN：3540255591

Lecture Notes in Computer Science 2968 Real-Time and Embedded Computing Systems and Applications 9th

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

RTCSA 20032004 年出版620 页ISBN：3540219749

Lecture Notes in Computer Science 4765 Early Aspects:Current Challenges and Future Directions 10th I

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

Canada2007 年出版0 页ISBN：