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 4393 STACS 2007 24th Annual Symposium on Theoretical Aspects of Co

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

Germany2007 年出版0 页ISBN：

Lecture Notes in Computer Science 3399 Web Technologies Research and Development-APWeb 2005 7th Asia

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

2005 年出版1082 页ISBN：354025207X

Lecture Notes in Computer Science 4727 Cryptographic Hardware and Embedded Systems-CHES 2007 9th Int

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

Vienna2007 年出版468 页ISBN：

Lecture Notes in Computer Science 2996 STACS 2004 21st Annual Symposium on Theoretical Aspects of Co

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

France2004 年出版0 页ISBN：

Lecture Notes in Computer Science 3404 STACS 2005 22nd Annual Symposium on Theoretical Aspects of Co

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

Germany2005 年出版0 页ISBN：

Lecture Notes in Computer Science 2900 CASL User Manual Introduction to Using the Common Algebraic S

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

2004 年出版240 页ISBN：354020766X

Lecture Notes in Computer Science 1563 STACS 99 16th Annual Symposium on Theoretical Aspects of Comp

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

Germany1999 年出版583 页ISBN：

Lecture Notes in Computer Science 3440 Tools and Algorithms for the Construction and Analysis of Sys

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

TACAS 20052005 年出版588 页ISBN：3540253335

Lecture Notes in Computer Science 4864 Mobile Ad-hoc and Sensor Networks Third International Confere

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

MSN 20072007 年出版869 页ISBN：9783540770237