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 4555 Universal Access in Human-Computer Interaction Ambient Intera

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

UAHCI 20072007 年出版1066 页ISBN：9783540732808

Lecture Notes in Computer Science 4679 Energy Minimization Methods in Computer Vision and Pattern Re

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

EMMCVPR 20072007 年出版494 页ISBN：9783540741954

Lecture Notes in Computer Science 4485 Scale Space and Variational Methods in Computer Vision First

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

SSVM 20072007 年出版931 页ISBN：9783540728221

Lecture Notes in Computer Science 3757 Energy Minimization Methods in Computer Vision and Pattern Re

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

EMMCVPR 20052005 年出版666 页ISBN：3540302875

Lecture Notes in Computer Science 4556 Universal Access in Human-Computer Interaction Applications a

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

UAHCI 20072007 年出版1020 页ISBN：9783540732822

Lecture Notes in Computer Science 3069 Architecting Dependable Systems II

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

2004 年出版351 页ISBN：3540231684