Lecture Notes in Computer Science 4595 Model Checking Software 14th International SPIN Workshop

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

2007 年出版285 页ISBN：9783540733690

ADVANCES IN COMPUTER VISION AND IMAGE PROCESSING VOLUME 1·1984 IMAGE RECONSTRUCTION FROM INCOMPLETE

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

1984 年出版344 页ISBN：0892322802

ADVANCES IN COMPUTER VISION AND IMAGE PROCESSING VOLUME 2·1986 IMAGE ENHANCEMENT AND RESTORATION

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

1986 年出版378 页ISBN：0892324600

Lecture Notes in Computer Science 3925 Model Checking Software 13th International SPIN Workshop

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

2006 年出版305 页ISBN：3540331026

ARTIFICIAL INTELLIGENCE AND MATHEMATICAL THEORY OF COMPUTATION PAPERS IN HONOR OF JOHN MCCARTHY

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

2222 年出版475 页ISBN：0124500102

Lecture Notes in Computer Science 4887 Cryptography and Coding 11th IMA International Conference

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

2007 年出版423 页ISBN：9783540772712

Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop

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

TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN：

Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop

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

2005 年出版287 页ISBN：3540281959

DEVELOPMENTS IN STRATEGIC MATERIALS AND COMPUTATIONAL DESIGN IV CERAMIC ENGINEERING AND SCIENCE PROC

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

20132222 年出版0 页ISBN：

DEVELOPMENTS IN STRATEGIC MATERIALS AND COMPUTATIONAL DESIGN III CERAMIC ENGINEERING AND SCIENCE PRO

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

20122222 年出版0 页ISBN：