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

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

2002 年出版218 页ISBN：3540433767

Geometric Analysis and Computer Graphics Proceedings of a Workshop held May 23-25

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

19881991 年出版203 页ISBN：0387974024

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

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

Italy2004 年出版0 页ISBN：

Lecture Notes in Computer Science 2996 STACS 2004 21st Annual Symposium on Theoretical Aspects of Co

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

France2004 年出版0 页ISBN：

Lecture Notes in Computer Science 3404 STACS 2005 22nd Annual Symposium on Theoretical Aspects of Co

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

Germany2005 年出版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 1563 STACS 99 16th Annual Symposium on Theoretical Aspects of Comp

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

Germany1999 年出版583 页ISBN：

Lecture Notes in Computer Science 3884 STACS 2006 23rd Annual Symposium on Theoretical Aspects of Co

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

France2006 年出版0 页ISBN：

Lecture Notes in Computer Science 2982 Active Networks IFIP-TC6 5th International Working Conference

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

IWAN 20032004 年出版308 页ISBN：3540212507