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

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

Italy2004 年出版0 页ISBN：

Lecture Notes in Computer Science 4572 Security and Privacy in Ad-hoc and Sensor Networks 4th Europe

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

ESAS 20072007 年出版247 页ISBN：9783540732747

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

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

MSN 20072007 年出版869 页ISBN：9783540770237

Lecture Notes in Computer Science 4799 HCI and Usability for Medicine and Health Care Third Symosium

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

USAB 20072007 年出版458 页ISBN：9783540768043