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软件是一款功能全面,适用于从概念设计到详细设计环节的可持续设计及分析工具,其中包含应用广泛的仿真和分析功能,能够提高现有建筑和新建筑设计的性能。该软件将在线能效、水耗...
DOMESTIC VIOLENCE AND CHILDREN A HANDBOOK FOR SCHOOLS AND EARLY YEARS SETTINGS
2010 年出版146 页ISBN:9780415556323
COMING ALIVE FROM NINE TO FIVE:THE CAREER SEARCH HANDBOOK FOURTH EDITION
1992 年出版294 页ISBN:1559340894
ENERGY DATA CONVERSION HANDBOOK:HOW TO COMBINE AND COMPARE INTERNATIONAL ENERGY DATA
1984 年出版60 页ISBN:0333372158