Lecture Notes in Computer science & Automata languages and programming

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

1978 年出版508 页ISBN：

Lecture Notes in Computer Science 4383 Hardware and Software

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

Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN：

Lecture Notes in Computer Science 3051 Relational and Kleene-Algebraic Methods in Computer Science 7

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

2004 年出版278 页ISBN：354022145X

Lecture Notes in Computer Science 57 Portability of Numerical Software

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

1977 年出版539 页ISBN：3540084460

Lecture Notes in Computer Science 4136 Relations and Kleene Algebra in Computer Science 9th Internat

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

RelMiCS/AKA 20062006 年出版433 页ISBN：3540378731

Lecture Notes in Computer Science 124 Compiler Specification and Verification

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

1981 年出版269 页ISBN：3540108866

Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming

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

1982 年出版304 页ISBN：3540112103

Lecture Notes in Computer Science 125 Logic of Programs Workshop

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

ETH Zurich1981 年出版245 页ISBN：

Lecture Notes in Computer Science 3967 Computer Science-Theory and Applications First International

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

CSR 20062006 年出版685 页ISBN：3540341668

Lecture Notes in Computer Science 4649 Computer Science-Theory and Applications Second International

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

CSR 20072007 年出版420 页ISBN：9783540745099