Lecture Notes in Computer Science 3203 Field-Programmable Logic and Applications 14th International

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

FPL 20042004 年出版1198 页ISBN：3540229892

Lecture Notes in Computer Science 3573 Logic Based Program Synthesis and Transformation 14th Interna

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

LOPSTR 20042005 年出版277 页ISBN：3540266550

Lecture Notes in Computer Science 2147 Field-Programmable Logic and Applications 11th International

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

FPL 20012001 年出版665 页ISBN：3540424997

Lecture Notes in Computer Science 3901 Logic Based Program Synthesis and Transformation 15th Interna

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

LOPSTR 20052006 年出版179 页ISBN：3540326545

Lecture Notes in Computer Science 3018 Logic Based Program Synthesis and Transformation 13th Interna

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

LOPSTR 20032004 年出版233 页ISBN：3540221743

Lecture Notes in Computer Science 4497 Computation and Logic in the Real World Third Conference on C

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

CiE 20072007 年出版826 页ISBN：9783540730002

Lecture Notes in Computer Science 4407 Logic-Based Program Synthesis and Transformation 16th Interna

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

LOPSTR 20062007 年出版236 页ISBN：9783540714095

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 364 MFDBS 89 2nd Symposium on Mathematical Fundamentals of Databas

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

2222 年出版428 页ISBN：3540512519

LOGIC FROM COMPUTER SCIENCE

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

1992 年出版608 页ISBN：0387976671