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 4144 computer Aided Verification 18th International Conference

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

CAV 20062006 年出版564 页ISBN：354037406X

Lecture Notes in computer science 65 Information Systems methodology

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

1978 年出版695 页ISBN：

Lecture Notes in Computer Science 1549 Compiling Natural Semantics

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

1999 年出版240 页ISBN：3540659684

Lecture Notes in Computer Science 244 Advanced Programming Environments

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

1986 年出版604 页ISBN：3540171894

Lecture Notes in Computer Science 3857 Applied Algebra

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

Algebraic Algorithms and Error-Correcting Codes 16th International Symposium2006 年出版339 页ISBN：

Lecture Notes in Computer Science 759 Advanced Database Systems

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

1993 年出版451 页ISBN：3540575073

Lecture Notes in Computer Science 4851 Applied Algebra

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

Algebraic Algorithms and Error-Correcting Codes 17th International Symposium2007 年出版368 页ISBN：