Lecture Notes in Computer Science 4662 Human-Computer Interaction-INTERACT 2007
2007 年出版637 页ISBN:9783540747949
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
中国经济增长报告 2011-2012 中国经济结构性减速与区域转型升级 2011-2012 the structural slowdown and regional transformation
张平,刘霞辉主编;袁富华,张自然副主编2013 年出版382 页ISBN:9787509740187
本书梳理了世界发达经济体和发展中国家的经济发展经验,讨论了从经济增长加速到减速的核心原因,发现成熟经济体持续、均衡增长的长期驱动因素就是持续地效率改进,它推动着技术创新和经济结构的调整。在国内外现...