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 2992 Advances in Database Technology-EDBT 2004 9th International C

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

2004 年出版877 页ISBN：3540212000

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 PHYSICS 68 ENERGY METHODS IN TIME-VARYING SYSTEM STABILITY AND INSTABILITY ANALYSES

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

1977 年出版256 页ISBN：3540084304

Lecture Notes in Computer Science 4393 STACS 2007 24th Annual Symposium on Theoretical Aspects of Co

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

Germany2007 年出版0 页ISBN：

LECTURE NOTES IN MATHEMATICS 1252: REPRESENTATIONS DE WEIL ET GL2 ALGEBRES DE DIVISION ET GLN

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

1987 年出版208 页ISBN：3540178279;0387178279

Lecture Notes in Computer Science 3331 Advances in Multimedia Information Processing-PCM 2004 5th Pa

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

Japan2222 年出版0 页ISBN：