Advanced  
兰州大学机构库

Search Results

Help

Item hits: (Results 1-4 of 4)

Items/Page:    Sort:
Verifying OSEK/VDX applications: An optimized SMT-based bounded model checking approach [会议论文]
15th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2016, Okayama, Japan, June 26, 2016 - June 29, 2016
Zhang, Haitao;  Cheng, Zhuo;  Tian, Cong;  Lu, Yonggang;  Li, Guoqiang
View/Download:25/0
 
Preface [会议论文]
2nd International Conference on Civil Engineering, Architecture and Building Materials, CEABM 2012, Yantai, China, May 25, 2012 - May 27, 2012
Li, Hongnan;  Zhou, Xingang;  Chen, Chaohe;  Huang, Yong;  Bao, Longsheng;  Bao, Tai;  Bao, Wenbo;  Cao, Wanlin;  Chu, Mingjin;  Cui, Changyu;  Deng, Zhiheng;  Ding, Shengguo;  Du, Xiuli;  Feng, Ping;  Feng, Peng;  Ge, Yaojun;  Hang, Linhai;  Huang, Zhihong;  Jin, Weiliang;  Li, Guoqiang;  Li, Qiusheng;  Li, Zhengliang;  Li, Zhengnong;  Li, Lijuan;  Li, Aiqun;  Li, Hui;  Li, Shirong;  Li, Guangfan;  Liu, Feng;  Ling, Tianqing;  Lu, Xinzheng;  Nie, Jianguo;  Sun, Wei;  Shao, Yongbo;  Shi, Yaozong;  Wang, Jinfeng;  Wu, Bo;  Wang, Hong;  Wang, Lai;  Xiao, Yan;  Xu, Shilang;  Xu, Jianxin;  Xu, Shanhua;  Xie, Tao;  Yan, Zhixin;  Yang, Zhenjun;  Ye, Lieping;  Zhao, Tiejun;  Zhang, Jiru;  Zhou, Chuangbin;  Zhou, Xuejun;  Sarhan, Ahmed;  Wang, Gui;  Smith, Scott T.;  Sreenivasan, M.;  Ji, Tianjian;  Kadhum, Abdul Amir H.;  Kaveh, A.;  Mufti, Aftab;  Naaman, Antoine E.;  Mosallam, Ayman;  Topping, B.H.V.;  Haung, Chao Hsun;  Chiew, Sing-Ping;  Aquino, Carlos;  Hui, David;  Ronagh, Hamid;  Ge, Han-Bin;  Harik, I.E.;  Bungey, J.H.;  Chen, Jian-Fei;  Park, Jongwook;  Kida, Katsuyuki;  Manabe, Ken-Ichi;  Sung, Kum-Gil;  Moon, Kyung-Man;  Bathe, K.J.;  Lee, Kang Seok;  Ho, Lau Hieng;  Feo, Luciano;  Bank, Lawrence C.;  Lee, Marcus M.K.;  Stewart, Mark G.;  Soutsos, M.N.;  Utaberta, Nangkula;  Sofronie, Ramiro;  Sri Ravindra Rajah, R.;  Ibell, Tim;  Ueda, Tamon;  Tan, Kang-Hai;  Hwee, Tan Kiang;  Hsieh, Wen-Hsiang;  Wu, Zhi-Shen;  Geem, Zong Woo
View/Download:19/0
 
Preface [会议论文]
2nd International Conference on Civil Engineering, Architecture and Building Materials, CEABM 2012, Yantai, China, May 25, 2012 - May 27, 2012
Li, Hongnan;  Zhou, Xingang;  Chen, Chaohe;  Huang, Yong;  Bao, Longsheng;  Bao, Tai;  Bao, Wenbo;  Cao, Wanlin;  Chu, Mingjin;  Cui, Changyu;  Deng, Zhiheng;  Ding, Shengguo;  Du, Xiuli;  Feng, Ping;  Feng, Peng;  Ge, Yaojun;  Hang, Linhai;  Huang, Zhihong;  Jin, Weiliang;  Li, Guoqiang;  Li, Qiusheng;  Li, Zhengliang;  Li, Zhengnong;  Li, Lijuan;  Li, Aiqun;  Li, Hui;  Li, Shirong;  Li, Guangfan;  Liu, Feng;  Ling, Tianqing;  Lu, Xinzheng;  Nie, Jianguo;  Sun, Wei;  Shao, Yongbo;  Shi, Yaozong;  Wang, Jinfeng;  Wu, Bo;  Wang, Hong;  Wang, Lai;  Xiao, Yan;  Xu, Shilang;  Xu, Jianxin;  Xu, Shanhua;  Xie, Tao;  Yan, Zhixin;  Yang, Zhenjun;  Ye, Lieping;  Zhao, Tiejun;  Zhang, Jiru;  Zhou, Chuangbin;  Zhou, Xuejun;  Sarhan, Ahmed;  Wang, Gui;  Smith, Scott T.;  Sreenivasan, M.;  Ji, Tianjian;  Kadhum, Abdul Amir H.;  Kaveh, A.;  Mufti, Aftab;  Naaman, Antoine E.;  Mosallam, Ayman;  Topping, B.H.V.;  Haung, Chao Hsun;  Chiew, Sing-Ping;  Aquino, Carlos;  Hui, David;  Ronagh, Hamid;  Ge, Han-Bin;  Harik, I.E.;  Bungey, J.H.;  Chen, Jian-Fei;  Park, Jongwook;  Kida, Katsuyuki;  Manabe, Ken-Ichi;  Sung, Kum-Gil;  Moon, Kyung-Man;  Bathe, K.J.;  Lee, Kang Seok;  Ho, Lau Hieng;  Feo, Luciano;  Bank, Lawrence C.;  Lee, Marcus M.K.;  Stewart, Mark G.;  Soutsos, M.N.;  Utaberta, Nangkula;  Sofronie, Ramiro;  Sri Ravindra Rajah, R.;  Ibell, Tim;  Ueda, Tamon;  Tan, Kang-Hai;  Hwee, Tan Kiang;  Hsieh, Wen-Hsiang;  Wu, Zhi-Shen;  Geem, Zong Woo
View/Download:19/0
 
Drought/flood change in the guanzhong region between the 8th and the 13th century [会议论文]
2011 International Conference on Remote Sensing, Environment and Transportation Engineering, RSETE 2011, Nanjing, China, June 24, 2011 - June 26, 2011
Wen, Xing;  Zhao, Hui;  Li, Guoqiang
View/Download:6/0
 

1

 

Valid XHTML 1.0!
Email:
Passwd
验 证:
换一张
Have you forgotten your password? Log In
Copyright © 2007-2017  兰州大学 - Feedback
Powered by CSpace