QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 限定条件 内容类型：会议论文     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 A Formal Approach for Modeling and Verification of Distributed Systems 会议论文 6th International Conference on Cloud Computing (CloudComp), Daejeon, SOUTH KOREA, 2016-01-01 作者:  Ren, Gang;  Deng, Pan;  Yang, Chao;  Zhang, Jianwei;  Hua, Qingsong 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30 UML seqence diagram  pi-calculus  Model checking  Formal methods   Clonal Evolution Paths Significantly Impact the Outcome of Myeloma 会议论文 BLOOD, 2015-12-03 作者:  Qin, Xiaoqi;  An, Gang;  Hu, Lin-ping;  Qin, Yu;  Xu, Yan 收藏  |  浏览/下载：9/0  |  提交时间：2020/01/13 Components Determination of Cold Water Eztractive of Eucalyptus tereticornis Wood Chips by GC/MS 会议论文 The 2nd International Conference on Bioinformatics and Biomedical Engineering(iCBBE 2008)(第二届生物信息与生物医学工程国际会议), 上海, 2008-1-1 作者:  Dang-Quan ZHANG;  Xiao-Feng TAN;  Qing-Zhi MA;  Hua TIAN;  Shun-Yang DENG 收藏  |  浏览/下载：4/0  |  提交时间：2019/12/28 Eucalyptus tereticornis%GC/MS (gas chromatograph/mass spectrometry)%cold water eztractive%wastewater recovery%wood chips of papermaking%top value added   A simple control method to avoid overshoot for prosthetic hand control (EI收录) 会议论文 2014 IEEE International Conference on Information and Automation, ICIA 2014, Hailar, Hulunbuir, China, July 28, 2014 - July 30, 2014 作者:  Duan, Xiao-Gang[1];  Zhang, Yi[1];  Deng, Hua[1] 收藏  |  浏览/下载：2/0  |  提交时间：2019/04/12 Study on using public-private partnerships to develop management and recycling of demolition waste (CPCI-S收录EI收录) 会议论文 19th International Conference on Industrial Engineering and Engineering Management: Management System Innovation, Changsha, China, October 27, 2012 - October 29, 2012 作者:  Chao, Gang[1];  Li, Deng-Yue[1];  Qiu, Mei-Hua[1] 收藏  |  浏览/下载：1/0  |  提交时间：2019/04/15 Construction industry  Industrial engineering  Management  Waste disposal