Lecture Notes in Computer Science 3114 Computer Aided Verification 16th International Conference
CAV 20042004 年出版536 页ISBN:3540223428
Lecture Notes in Computer Science 3634 Computer Science Logic 19th International Workshop
CSL 20052005 年出版567 页ISBN:3540282319
Lecture Notes in Computer Science 4207 Computer Science Logic 20th International Workshop
CSL 20062006 年出版627 页ISBN:3540454586
Lecture Notes in Computer Science 3701 Theoretical Computer Science 9th Italian Conference
ICTCS 20052005 年出版411 页ISBN:3540291067
Lecture Notes in Computer Science 3576 Computer Aided Verification 17th International Conference
CAV 20052005 年出版564 页ISBN:3540272313
Lecture Notes in Computer science 4590 Computer Aided Verification 19th International Conference
CAV 20072007 年出版562 页ISBN:9783540733676
Lecture Notes in Computer Science 3210 Computer Science Logic 18th International Workshop
CSL 20042004 年出版671 页ISBN:3540230246
Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference
CAV 20062006 年出版564 页ISBN:354037406X
(美)罗伯特·詹森;(美)格雷格·杨著2017 年出版592 页ISBN:9787519226138
美国巴郎集团的出国留学教育书系中,美国高考书系的明星书之一。本书涵盖SAT物理考试所需要的全部知识点,内容丰富且全面,不仅有内容讲解,也有摸底小考试及综合模拟测试题。本书为最新版,有最新设计的诊断测试,详....
邓庆坦等译2005 年出版299 页ISBN:7533138627
本书精心收录了2003度39个建设项目设计竞赛的71个获奖优秀作,内容涵盖了各类教育建筑、公共设施建筑、居住区和住宅建筑、体育与公共园林建筑等有代表性的建筑类型。...