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
本书梳理了世界发达经济体和发展中国家的经济发展经验，讨论了从经济增长加速到减速的核心原因，发现成熟经济体持续、均衡增长的长期驱动因素就是持续地效率改进，它推动着技术创新和经济结构的调整。在国内外现...
Covariances in Computer Vision and Machine Learning: Synthesis Lectures on Computer Vision
Ha Quang Minh2017 年出版156 页ISBN：1681732596
EXPERIMENTS IN CIRCUIT ANALYSIS TO ACCOMPANY INTRODUCTORY CIRCUIT ANALYSIS
1987 年出版343 页ISBN：0675207436
COMPLEX ANALYSIS THE ARGUMENT PRINCIPLE IN ANALYSIS AND TOPOLOGY
1979 年出版239 页ISBN：0471996718
