Lecture Notes in Computer Science 3114 Computer Aided Verification 16th International Conference

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

CAV 20042004 年出版536 页ISBN：3540223428

Lecture Notes in Computer Science 3576 Computer Aided Verification 17th International Conference

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

CAV 20052005 年出版564 页ISBN：3540272313

Lecture Notes in Computer science 4590 Computer Aided Verification 19th International Conference

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

CAV 20072007 年出版562 页ISBN：9783540733676

Lecture Notes in Computer Science 2297 Algebraic and Coalgebraic Methods in the Mathematics of Progr

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

UK2002 年出版0 页ISBN：

Lecture Notes in Computer Science 3818 Advances in Computer Science-ASIAN 2005 Data Management on th

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

2005 年出版294 页ISBN：3540307672

Lecture Notes in Computer Science 3524 Integration of AI and OR Techniques in Constraint Programming

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

CPAIOR 20052005 年出版410 页ISBN：3540261524

Lecture Notes in Computer Science 3990 Integration of AI and OR Techniques in Constraint Programming

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

CPAIOR 20062006 年出版300 页ISBN：3540343067

Lecture Notes in Computer Science 4510 Integration of AI and OR Techniques in Constraint Programming

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

CPAIOR 20072007 年出版390 页ISBN：9783540723967

Lecture Notes in Computer Science 3011 Integration of AI and OR Techniques in Constraint Programming

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

CPAIOR 20042004 年出版415 页ISBN：354021836X

Lecture Notes in Computer Science 3959 Theory and Applications of Models of Computation Third Intern

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

TAMC 20062006 年出版794 页ISBN：3540340211