Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays Dedica
2005 年出版413 页ISBN:3540249362
Lecture Notes in Computer Science 190 Distributed Systems Methods and Tools for Specification An Adv
1985 年出版573 页ISBN:3540152164
Lecture Notes in Computer Science 4085 FM 2006:Formal Methods 14th International Symposium on Formal
2006 年出版620 页ISBN:3540372156
Lecture Notes in Control and Information Sciences 158 Advanced Methods in Adaptive Control for Indus
1991 年出版331 页ISBN:3540538356
Spectroscopic methods in ligand protein interactions new insight into drug-protein binding mechanism
Rohan P.Perera ; Vijayantha Liyanage2010 年出版125 页ISBN:3838390468
Autodesk Ecotect Analysis 2011绿色建筑分析应用 全彩
柏慕中国编著;Autodesk,Inc.主编2012 年出版258 页ISBN:9787121149009
Autodesk Ecotect Analysis 2011软件是一款功能全面,适用于从概念设计到详细设计环节的可持续设计及分析工具,其中包含应用广泛的仿真和分析功能,能够提高现有建筑和新建筑设计的性能。该软件将在线能效、水耗...
诊断与处方 直面中国医疗体制改革 a pathological analysis
顾昕,高梦滔,姚洋著2006 年出版453 页ISBN:7801908864
本书以实证调查为依据,对造成中国医疗体制“病症”的历史和现实因素作了深入分析,并以全球医疗改革的理论和实践为借鉴,提出了中国医疗体制改革的新思路,这就是走向“有管理的市场化”,重新建构政府的新职能。本...
AUDITING CONCEPTS AND METHODS A GUIDE TO CURRENT AUDITING THEORY AND PRACTICE FIFTH EDITION
D.R.CARMICHAEL JOHN J.WILLINGHAM1989 年出版591 页ISBN:0070099995