科学研究出版的参考

学术期刊

在线客服：
对外合作：

联系：400-6379-560
feedback@hanspub.org

客服号

人工客服，稿件咨询

公众号

科技成果分享

● Spin Sources. http://spinroot.com/spin/Src/index.html
● Spin Readme. http://spinroot.com/spin/Man/README.html
● Ben-Ari, M. (2008) Principles of the spin model checker. Springer Verlag, London...
● Holzmann, G.J. (2003) The SPIN model checker: Primer and reference manual. Addis...
● 刘亚秋, 景维鹏, 井云凌 (2011) 高可靠云计算平台及其在智慧林业中的应用. 世界林业研究, 5, 18-24.
● 郭美荣, 李瑾, 秦向阳 (2012) 农业信息服务云平台架构初探. 农业网络信息, 2, 13-16.
● 刘异, 呙维, 江万寿, 等 (2009) 一种基于云计算模型的遥感处理服务模式研究与实现. 计算机应用研究, 9, 3428-3431.
● 李珺, 张贵, 谭三清 (2012) 林业信息共享中云计算应用. 湖南林业科技, 3, 10-14.
● Frehner, M. and Bra’ndli, M. (2006) Virtual database: Spatial analysis in a Web-...
● Nogueras-Iso, J., Zarazaga-Soria, F.J., R. Bejar, Alvarez, P.J. and Mu-ro-Medran...
● 康俊锋 (2011) 云计算环境下高分辨率遥感影像存储与高效管理技术研究. 浙江大学, 杭州.
● 石永阁, 边馥苓 (2011) 基于云平台的遥感信息公共服务研究. 地理信息世界, 3, 26-29.
● 方雷 (2011) 基于云计算的土地资源服务高效处理平台关键技术探索与研究. 浙江大学, 杭州.
● Yang, C., Goodchild, M., Huang, Q., et al. (2011) Spatial cloud computing: How c...
● Pluygers, C.W. and De Vries, G. (1973) p-Chlorophenyl isothiocyanate. Organic Sy...
● Matsuda, K., Yanagisawa, I., Isomura, Y., et al. (1997) One pot preparation of 1...
● Shin, J.M., Cho, Y.M. and Sachs, G. (2004) Chemistry of covalent inhibition of t...
● Lindberg, P., Nordberg, P. and Alminger, T. (1986) The mechanism of action of th...
● Lindberg, P., Brandstrom, A., Wallmark, B., et al. (1990) Omeprazole: The first ...
● 黄东临 (2001) 2000年美国FDA批准的新药. 国外医药——合成药、生化药、制剂分册, 2, 121-122.
● Andrew, F. and Lynda, W. (1996) Pantoprazole. Drugs, 51, 460-482.
● Blum, R.A. (1996) Lansoprazole and omeprazole in the treatment of acid peptic di...
● Scheiman, J.M. and Cutler, A.F. (1999) Helicobacter pylori and gastric cancer. T...
● Sachs, G., Carlsson, E., Lindberg, P., et al. (1988) Gastric H+/K+-ATPase as the...
● Nelson, K.M., Matsua, E.L. and Ferrari, J.C. (2007) Allocation of power quality ...
● 申华 (2010) 配电网电能质量监测点优化选址的研究. 中国石油大学(华东), 山东.
● Dzienis, C., Komamicki, P. and Styczynski, Z.A. (2007) A method for optimally lo...
● Ammer, C. and Renner, H. (2004) Determination of the optimum measuring positions...
● Won D.-J., Kim J.-M., Seo J.-C., et al. (2006) A new algorithm to locate power-q...
● 杨春雨 (2011) 计及N-1情况的电能质量监测装置阶段式优化配置. 水电能源科学, 8, 196-198.

● Spin Sources. http://spinroot.com/spin/Src/index.html

● Spin Readme. http://spinroot.com/spin/Man/README.html

● Ben-Ari, M. (2008) Principles of the spin model checker. Springer Verlag, London...

● Holzmann, G.J. (2003) The SPIN model checker: Primer and reference manual. Addis...

● 刘亚秋, 景维鹏, 井云凌 (2011) 高可靠云计算平台及其在智慧林业中的应用. 世界林业研究, 5, 18-24.

● 郭美荣, 李瑾, 秦向阳 (2012) 农业信息服务云平台架构初探. 农业网络信息, 2, 13-16.

● 刘异, 呙维, 江万寿, 等 (2009) 一种基于云计算模型的遥感处理服务模式研究与实现. 计算机应用研究, 9, 3428-3431.

● 李珺, 张贵, 谭三清 (2012) 林业信息共享中云计算应用. 湖南林业科技, 3, 10-14.

● Frehner, M. and Bra’ndli, M. (2006) Virtual database: Spatial analysis in a Web-...

● Nogueras-Iso, J., Zarazaga-Soria, F.J., R. Bejar, Alvarez, P.J. and Mu-ro-Medran...

● 康俊锋 (2011) 云计算环境下高分辨率遥感影像存储与高效管理技术研究. 浙江大学, 杭州.

● 石永阁, 边馥苓 (2011) 基于云平台的遥感信息公共服务研究. 地理信息世界, 3, 26-29.