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 3617 Image Analysis and Processing-ICIAP 2005 13th International C

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

2005 年出版1221 页ISBN：3540288694

Lecture Notes in Computer Science 3390 Software Engineering for Multi-Agent Systems III Research Iss

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

2005 年出版289 页ISBN：3540248439

Lecture Notes in Computer Science 3193 Computer Security-ESORICS 2004 9th European Symposium on Rese

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

2004 年出版457 页ISBN：3540229876

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 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 3953 Computer Vision-ECCV 2006 9th European Conference on Computer

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

Austria2222 年出版0 页ISBN：

Lecture Notes in Computer Science 3149 Euro-Par 2004 Parallel Processing 10thInternational Euro-Par

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

Italy2004 年出版0 页ISBN：

Lecture Notes in Computer Science 3952 Computer Vision-ECCV 2006 9th European Conference on Computer

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

Austria2222 年出版0 页ISBN：