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 3390 Software Engineering for Multi-Agent Systems III Research Iss

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

2005 年出版289 页ISBN：3540248439

Lecture Notes in Control and Information Sciences 158 Advanced Methods in Adaptive Control for Indus

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

1991 年出版331 页ISBN：3540538356

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

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

Italy2004 年出版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 2982 Active Networks IFIP-TC6 5th International Working Conference

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

IWAN 20032004 年出版308 页ISBN：3540212507

Lecture Notes in Control and Information Sciences 248 Iterative Learning Control Convergence

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

Robustness and Applications1999 年出版199 页ISBN：1852331909

Lecture Notes in Computer Science 615 ECOOP'92 euro[ean Conference on Object-Oriented Programming Ut

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

1992 年出版0 页ISBN：

Lecture Notes in Artificial Intelligence 4303 Advances in Knowledge Acquisition and Management Pacif

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

PKAW 20062006 年出版259 页ISBN：9783540689553

Lecture Notes in Computer Science 3242 Parllel Problem Solving from Nature-PPSN VIII 8th Internation

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

2004 年出版1185 页ISBN：3540230920