Lecture Notes in Computer Science 4600 Rewriting Computation and Proof Essays Dedicated to Jean-Pier

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

2007 年出版273 页ISBN：9783540731467

Lecture Notes in Computer Science 3135 Transactions on Rough Sets II Rough Sets and Fuzzy Sets

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

2004 年出版363 页ISBN：3540239901

Lecture Notes in Computer Science 1018 Network and Operating Systems Support for Digital Audio and V

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

1995 年出版360 页ISBN：3540606475

Lecture Notes in Computer Science 4249 Cryptographic Hardware and Embedded Systems-CHES 2006 8th Int

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

2006 年出版462 页ISBN：3540465596

Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic

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

2002 年出版218 页ISBN：3540433767

LECTURE NOTES IN COMPUTER SCIENCE 38 AN OPTIMIZED TRANSLATION PROCESS AND ITS APPLICATION TO ALGOL 6

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

G.GOOS AND J.HARTMANIS1976 年出版334 页ISBN：3540075453

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 3149 Euro-Par 2004 Parallel Processing 10thInternational Euro-Par

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

Italy2004 年出版0 页ISBN：