Advanced  
兰州大学机构库

Search Results

Help

Item hits: (Results 1-2 of 2)

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
 
Sparse whole-genome sequencing identifies two loci for major depressive disorder [期刊论文]
NATURE, 2015, 卷号: 523, 期号: 7562, 页码: 588
Cai, N;  Bigdeli, TB;  Kretzschmar, W;  Li, YH;  Liang, JQ;  Song, L;  Hu, JC;  Li, QB;  Jin, W;  Hu, ZF;  Wang, GB;  Wang, LM;  Qian, PY;  Liu, Y;  Jiang, T;  Lu, Y;  Zhang, XQ;  Yin, Y;  Li, YR;  Xu, X;  Gao, JF;  Reimers, M;  Webb, T;  Riley, B;  Bacanu, S;  Peterson, RE;  Chen, YP;  Zhong, H;  Liu, ZR;  Wang, G;  Sun, J;  Sang, H;  Jiang, GQ;  Zhou, XY;  Li, Y;  Li, Y;  Zhang, W;  Wang, XY;  Fang, X;  Pan, RD;  Miao, GD;  Zhang, QW;  Hu, J;  Yu, FY;  Du, B;  Sang, WH;  Li, KQ;  Chen, GB;  Cai, M;  Yang, LJ;  Yang, DL;  Ha, BW;  Hong, XH;  Deng, H;  Li, GY;  Li, K;  Song, Y;  Gao, SG;  Zhang, JB;  Gan, ZY;  Meng, HQ;  Pan, JY;  Gao, CG;  Zhang, KR;  Sun, N;  Li, YH;  Niu, QH;  Zhang, YT;  Liu, TQ;  Hu, CM;  Zhang, Z;  Lv, LX;  Dong, JC;  Wang, XP;  Tao, M;  Wang, XM;  Xia, J;  Rong, H;  He, Q;  Liu, TB;  Huang, GP;  Mei, QY;  Shen, ZM;  Liu, Y;  Shen, JH;  Tian, T;  Liu, XJ;  Wu, WY;  Gu, DH;  Fu, GY;  Shi, JG;  Chen, YC;  Gan, XC;  Liu, LF;  Wang, LN;  Yang, FZ;  Cong, EZ;  Marchini, J;  Yang, HM;  Wang, J;  Shi, SX;  Mott, R;  Xu, Q;  Wang, J;  Kendler, KS;  Flint, J
View/Download:23/0
 

1

 

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