Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-Time Systems Essaya in Honour
2007 年出版539 页ISBN：9783540752202
PROGRESS IN BRAIN RESEARCH VOLUME 131 CONCEPTS AND CHALLENGES IN RETINAL BIOLOGY A TRIBUTE TO JOHN E
HELGA KOLB2001 年出版742 页ISBN：
Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN：354021366X
PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON COMPUTER-AIDED ARCHITECTURAL DESIGN RESEARCH IN
虞刚，周琦，董卫编2007 年出版671 页ISBN：9787564109257
本书主要内容包括CAADRIA会议主题发言人的演讲以及参与会议人员的论文、与会人员也大都是世界范围内在CAAD领域颇有建树的教师和研究人员。
EXTENDED RESEARCH OF CLUSTE DEVELOPMENT AMONG BEIJING-TIANJIN-HEBEI AND URBAN ECONMIC ORIENTATION OF
2011 年出版167 页ISBN：9787501797059
本书在总结多年房地产研究成果的基础上，对比分析中外房地产融资风险与预警问题，提出构建我国房地产融资风险与预警体系。
转型时代 武汉城市经济转型研究 Wuhan urban economy transformation research
武汉转型研究课题组著；李立华主编2015 年出版188 页ISBN：9787568001465
本书是以中国经济奇迹为背景对武汉城市经济转型进行的系统研究。通常人们对中国经济奇迹这一现象的认识是从整体上的观察和剖析，本书则尝试从武汉城市经济发展历程这一个体来提供对“中国奇迹”解释的更清晰...
RILEM TECHNICAL COMMITTEE 195-DTD RECOMMENDATION FOR TEST METHODS FOR AD AND TD OF EARLY AGE CONCRET
MATIAS KRAUSS2015 年出版93 页ISBN：9789401792653
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN：
中基层法院法官任用机制研究=The research on the appointment mechanism of judges at intermediate and basic courts
左卫民，金亮，黄翀，王禄生，张洪松著2014 年出版0 页ISBN：
