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

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

CAV 20042004 年出版536 页ISBN：3540223428

Lecture Notes in Computer Science 3634 Computer Science Logic 19th International Workshop

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

CSL 20052005 年出版567 页ISBN：3540282319

Lecture Notes in Computer Science 4207 Computer Science Logic 20th International Workshop

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

CSL 20062006 年出版627 页ISBN：3540454586

Lecture Notes in Computer Science 3701 Theoretical Computer Science 9th Italian Conference

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

ICTCS 20052005 年出版411 页ISBN：3540291067

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 3210 Computer Science Logic 18th International Workshop

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

CSL 20042004 年出版671 页ISBN：3540230246

Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference

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

CAV 20062006 年出版564 页ISBN：354037406X

巴朗SAT II物理 第2版

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

（美）罗伯特·詹森；（美）格雷格·杨著2017 年出版592 页ISBN：9787519226138

美国巴郎集团的出国留学教育书系中，美国高考书系的明星书之一。本书涵盖SAT物理考试所需要的全部知识点，内容丰富且全面，不仅有内容讲解，也有摸底小考试及综合模拟测试题。本书为最新版，有最新设计的诊断测试，详....

国际建筑设计竞赛获奖作品 II 中英文本

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

邓庆坦等译2005 年出版299 页ISBN：7533138627

本书精心收录了2003度39个建设项目设计竞赛的71个获奖优秀作，内容涵盖了各类教育建筑、公共设施建筑、居住区和住宅建筑、体育与公共园林建筑等有代表性的建筑类型。...