Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal Meth

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

2005 年出版558 页ISBN：3540278826

Lecture Notes in Computer Science 2287 Advances in Database Technology-EDBT 2002 8th International C

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

2002 年出版776 页ISBN：3540433244

Lecture Notes in Computer Science 773 Advances in Cryptology-CRYPTO'93 13th Annual International Cry

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

1994 年出版492 页ISBN：3540577661

Lecture Notes in Computer Science 2992 Advances in Database Technology-EDBT 2004 9th International C

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

2004 年出版877 页ISBN：3540212000

Lecture Notes in Computer Science 4136 Relations and Kleene Algebra in Computer Science 9th Internat

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

RelMiCS/AKA 20062006 年出版433 页ISBN：3540378731

Lecture Notes in Computer Science 124 Compiler Specification and Verification

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

1981 年出版269 页ISBN：3540108866

Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc

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

Communication2006 年出版0 页ISBN：

Lecture Notes in Computer Science 3465 Formal Methods for Mobile Computing 5th International School

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

Communication2005 年出版271 页ISBN：

Lecture Notes In Computer Science 3118 Computers Helping People With Special Needs 9th International

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

ICCHP 20042222 年出版0 页ISBN：

Lecture Notes in Computer Science 779 Advances in Database Technology-EDBT'94 4th International Conf

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

United Kingdom1994 年出版406 页ISBN：